for T being TopStruct
for f being Homeomorphism of T holds f /" is Homeomorphism of T