\begin{definition}[Definition:Lower Bound of Mapping/Real-Valued]
Let $f: S \to \R$ be a real-valued function.
Let $f$ be bounded below in $T$ by $L \in T$.
Then $L$ is a '''lower bound of $f$'''.
\end{definition}