Category:Definitions/Dedekind Completeness Property

This category contains definitions related to the Dedekind completeness property.
Related results can be found in Category:Dedekind Completeness Property.

Let $\struct {S, \preceq}$ be an ordered set.

Then $\struct {S, \preceq}$ has the Dedekind completeness property if and only if every non-empty subset of $S$ that is bounded above admits a supremum (in $S$).