Least-upper-bound property
= Least-upper-bound property
{wiki}
= Least upper bound axiom
{synonym}
The least-upper-bound property states that every nonempty set of <real numbers> that has an <upper bound in a partially ordered set>[upper bound] has a <supremum> in the real numbers. It is an order-theoretic formulation of the <completeness of the real numbers>.