for S, T being TopSpace
for h being Function of S,T
for g being Function of (Omega S),(Omega T) st h = g & h is being_homeomorphism holds
g is isomorphic