theorem Th20: :: WAYBEL26:20

for X, Y, Z being non empty TopSpace
for f being continuous Function of Y,Z st f is being_homeomorphism holds
oContMaps (X,f) is isomorphic