Category:Dedekind Completeness Property

This category contains results about the Dedekind completeness property.
Definitions specific to this category can be found in Definitions/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$).