for X being non empty TopSpace
for Y, Z being monotone-convergence T_0-TopSpace
for f being continuous Function of Y,Z holds oContMaps (X,f) is directed-sups-preserving