Least-upper-bound property
In mathematics, the least-upper-bound property (sometimes the completeness or supremum property)[1] is a fundamental property of the real numbers and certain other ordered sets. A set X has the least-upper-bound property if and only if every non-empty subset of X with an upper bound has a supremum in X.