\begin{definition}[Definition:Order Complete Set/Definition 2]
Let $\struct {S, \preceq}$ be an ordered set.
$\struct {S, \preceq}$ is '''order complete''' {{iff}}:
:Each non-empty subset $H \subseteq S$ which has a lower bound admits an infimum.
\end{definition}