for X, Y, Z being non empty TopSpace
for f being continuous Function of Y,Z holds oContMaps (f,X) is monotone