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