Axiom of completeness/Statement

Statement

If $S\subseteq\mathbb{R}$ is a non-empty set of real numbers that has an upper bound then:

• $\text{Sup}(S)$ (the supremum of $S$) exists.