## 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

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

Updated: Sat Dec 3 06:57:38 2016

14874 terms

No longer supported by Imperial College Department of Computing

Tweet