Category:Dedekind Complete Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about 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$).

Pages in category "Dedekind Complete Sets"

This category contains only the following page.