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.