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).
Last updated: 1994-11-24