Completeness Property of Real Numbers

Definition

Every nonempty set of real numbers that has an upper bound also has a supremum in $\mathbb{R}$.