An ordered set $A$ is said to have the least upper bound property if every nonempty subset $A_0$ of $A$ that is Bounded above has a least upper bound.