theorem Th7: :: WAYBEL26:7

for X being non empty TopSpace
for Y being monotone-convergence T_0-TopSpace holds oContMaps (X,Y) is up-complete