Least-upper-bound property

In mathematics, the least-upper-bound property (sometimes called completeness, supremum property or l.u.b. property) is a fundamental property of the real numbers.

Source: Wikipedia — Least-upper-bound property (CC BY-SA 4.0)