\begin{definition}[Definition:Infimum of Set/Finite Infimum]
Let $\left({S, \preceq}\right)$ be an ordered set.
Let $T \subseteq S$ admit a infimum $\inf T$.
If $T$ is finite, $\inf T$ is called a '''finite infimum'''.
\end{definition}