\begin{definition}[Definition:Dedekind Complete Set]
Let $\struct {S, \preceq}$ be an ordered set.
Then $\struct {S, \preceq}$ is '''Dedekind complete''' {{iff}} every non-empty subset of $S$ that is bounded above admits a supremum (in $S$).
\end{definition}