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