for T, S, V being non empty TopStruct
for f being Function of T,S
for g being Function of S,V st f is being_homeomorphism & g is being_homeomorphism holds
g * f is being_homeomorphism