set R = the complete continuous LATTICE;
set T = the correct strict Lawson TopAugmentation of the complete continuous LATTICE;
take the correct strict Lawson TopAugmentation of the complete continuous LATTICE ; :: thesis: ( the correct strict Lawson TopAugmentation of the complete continuous LATTICE is Lawson & the correct strict Lawson TopAugmentation of the complete continuous LATTICE is continuous )
thus ( the correct strict Lawson TopAugmentation of the complete continuous LATTICE is Lawson & the correct strict Lawson TopAugmentation of the complete continuous LATTICE is continuous ) ; :: thesis: verum