Category:Order Complete Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Order Complete Sets.

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

$\left({S, \preceq}\right)$ is order complete if and only if:

Each non-empty subset $H \subseteq S$ which has an upper bound admits a supremum.

Pages in category "Order Complete Sets"

This category contains only the following page.