Continuum Property/Proof 2
Then $S$ admits a supremum in $\R$.
This is known as the least upper bound property of the real numbers.
Then $S$ admits an infimum in $\R$.
This is sometimes called the greatest lower bound property of the real numbers.
The two properties taken together are called the continuum property of $\R$.
A direct consequence of Dedekind's Theorem.