Least-upper-bound property (source code)

= Least-upper-bound property
{wiki=Least-upper-bound_property}

The Least Upper Bound (LUB) property, also known as the supremum property, is a fundamental concept in real analysis and is one of the defining characteristics of the real numbers. The LUB property states that for any non-empty set of real numbers that is bounded above, there exists a least upper bound (supremum) in the real numbers.