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