\begin{definition}[Definition:Lower Bound of Mapping]
Let $f: S \to T$ be a mapping whose codomain is an ordered set $\struct {T, \preceq}$.
Let $f$ be bounded below in $T$ by $H \in T$.
Then $H$ is a '''lower bound of $f$'''.
\end{definition}