\begin{definition}[Definition:Empty Infimum]
Let $\struct {S, \preceq}$ be an ordered set.
Then the '''empty infimum''' is the infimum $\inf \O$.
By Infimum of Empty Set is Greatest Element, it exists {{iff}} $\struct {S, \preceq}$ has a greatest element.
\end{definition}