theorem Th20: :: WAYBEL25:20

for T being injective T_0-TopSpace holds Omega T is complete continuous LATTICE