for S, T being non empty TopSpace
for f being Function of S,T st f is being_homeomorphism holds
f " is open