for S, T being up-complete Scott TopLattice
for f being Function of S,T st f is continuous holds
f is monotone