Least Upper Bound Property

( of the real number system )


PROPERTY VII. (LEAST UPPER BOUND PROPERTY).

A non-empty set of real numbers
that is bounded from above
has a least upper bound.

See ita-2-3-3-pg24.