theorem Th23: :: WAYBEL26:23

for X being non empty TopSpace
for Y, Z being monotone-convergence T_0-TopSpace st Y is_Retract_of Z & oContMaps (X,Z) is complete & oContMaps (X,Z) is continuous holds
( oContMaps (X,Y) is complete & oContMaps (X,Y) is continuous )