# Category:Dedekind Complete Sets

Let $\struct {S, \preceq}$ be an ordered set.
Then $\struct {S, \preceq}$ is Dedekind complete if and only if every non-empty subset of $S$ that is bounded above admits a supremum (in $S$).