In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of order theory.
In calculus, a function defined on a subset of the real numbers with real values is called monotonic if and only if it is either entirely increasing or decreasing. It is called monotonically increasing (also increasing or nondecreasing), if for all
and
such that
one has
, so
preserves the order (see Figure 1). Likewise, a function is called monotonically decreasing (also decreasing or nonincreasing) if, whenever
, then
, so it reverses the order (see Figure 2).
If the order in the definition of monotonicity is replaced by the strict order
, then one obtains a stronger requirement. A function with this property is called strictly increasing. Again, by inverting the order symbol, one finds a corresponding concept called strictly decreasing. Functions that are strictly increasing or decreasing are one-to-one (because for
not equal to
, either
or
and so, by monotonicity, either
or
, thus
is not equal to
.)