for T being TopStruct
for S being non empty TopStruct
for f being Function of T,S st f is being_homeomorphism holds
f " is being_homeomorphism by Th49, Th50, Th51;