theorem Th28: :: WAYBEL26:28

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