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