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.