previous up next
Go backward to Monotonicity
Go up to Top
Go forward to Illustration
RISC-Linz logo

Monontonicity (Continued)

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.

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next