Axiom_of_Completeness

Definition

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