previous up next
Go backward to Sequence Quantor
Go up to Top
Go forward to Monontonicity (Continued)
RISC-Linz logo

Monotonicity

Definition: Let f be an infinite sequence over R. f is monotonically increasing if every element of f is less than or equal the next element:

f is monotonically increasing : <=>
   f: N -> R /\  forall i in N: fi <= fi+1.

f is strictly monotonically increasing if every element of f is less than the next element:

f is strictly monotonically increasing : <=>
   f: N -> R /\  forall i in N: fi < fi+1.

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next