Definition:Dedekind Complete Set

Definition
Let $\left({S, \preceq}\right)$ be an ordered set.

Then $\left({S, \preceq}\right)$ is Dedekind complete iff every non-empty subset of $S$ that is bounded above admits a supremum (in $S$).

Also known as
This is commonly referred to as:


 * the supremum property
 * the least upper bound property
 * the infimum property
 * the greatest lower bound property

where the latter denominations are justified by Dedekind Completeness is Self-Dual.

Also see

 * Dedekind Completeness is Self-Dual
 * Definition:Dedekind Completion