theorem Th21: :: WAYBEL26:21

for X, Y, Z being non empty TopSpace st Y,Z are_homeomorphic holds
oContMaps (X,Y), oContMaps (X,Z) are_isomorphic