Least Upper Bound Property

Theorem
Let $S \subset \R$ be a non-empty subset of the set of real numbers such that $S$ is bounded above.

Then $S$ admits a supremum in $\R$.

This is known as the least upper bound property of the real numbers.

Corollary
The two properties taken together are called the continuum property of $\R$.

This can also be stated as:
 * The set $\R$ of real numbers is Dedekind complete.

Also known as
The continuum property of $\R$ is also known as:
 * the completeness axiom
 * the completeness property
 * the completeness postulate
 * the supremum principle.

Also see

 * Dedekind's Theorem
 * Definition:Dedekind Complete
 * Continuum Property implies Well-Ordering Principle

Not to be confused with:
 * The Continuum Hypothesis