Category:Definitions/Order Complete Sets

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Order Complete Sets.
Related results can be found in Category:Order Complete Sets.


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


$\struct {S, \preceq}$ 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 "Definitions/Order Complete Sets"

The following 3 pages are in this category, out of 3 total.