Axiom_of_Completeness Definition Every non-empty set of real numbers that is bounded above has a least upper bound.