Definition:Order Complete Set/Definition 1

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

$\struct {S, \preceq}$ is order complete :
 * Each non-empty subset $H \subseteq S$ which has an upper bound admits a supremum.

Also see

 * Equivalence of Definitions of Order Complete Set