take the 1 -element TopLattice ; :: thesis: ( the 1 -element TopLattice is lim-inf & the 1 -element TopLattice is continuous & the 1 -element TopLattice is complete )
thus ( the 1 -element TopLattice is lim-inf & the 1 -element TopLattice is continuous & the 1 -element TopLattice is complete ) ; :: thesis: verum