Definition:Order Complete Set/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Also see


Sources