Go backward to Monotonicity Go up to Top Go forward to Illustration |
Definition: f is monotonically decreasing if every element of f is greater than or equal the next element:
f is monotonically decreasing : <=> f: N -> R /\ forall i in N: fi >= fi+1.
f is strictly monotonically decreasing if every element of f is greater than the next element:
f is strictly monotonically decreasing : <=> f: N -> R /\ forall i in N: fi > fi+1.