Category:Order Complete Sets

This category contains results about Order Complete Sets.
Definitions specific to this category can be found in Definitions/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.