previous up next
Go backward to Example
Go up to Top
Go forward to Supremum and Infimum
RISC-Linz logo


Definition: Let f be an infinite sequence over R.

f has upper bound U, if every element of f is less than or equal U:

U is upper bound of f : <=>
   f: N -> R /\  forall i in N: fi <= U.

f has lower bound L, if every elem. of f is greater than or equal L:

L is lower bound of f : <=>
   f: N -> R /\  forall i in N: fi >= L.

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next