Category:Dedekind Complete Sets

From ProofWiki
Jump to: navigation, search

This category contains results about Dedekind Complete Sets.


Let $\left({S, \preceq}\right)$ be an ordered set.

Then $\left({S, \preceq}\right)$ 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.