monotonic

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).

Last updated: 1994-11-24


Loading