VDict mobile



In domain theory, a function f : D -@# C is monotonic (or
monotone) if
for all x,y in D, x = y = f(x) #@= f(y).
("#@=" is written in LaTeX as sqsubseteq).
(1994-11-24)