theorem Th19: :: WAYBEL25:19

for S, T being TopSpace st S,T are_homeomorphic holds
Omega S, Omega T are_isomorphic