Definition:Dedekind Complete Set

Definition
An ordered set $\left({S, \preceq}\right)$ is said to be Dedekind complete iff every non-empty subset of $S$ that is bounded above admits a supremum (in $S$).

Also see

 * Dedekind completion