\begin{definition}[Definition:Lower Bound of Set/Real Numbers]
Let $\R$ be the set of real numbers.
Let $T$ be a subset of $S$.
A '''lower bound for $T$ (in $\R$)''' is an element $m \in \R$ such that:
:$\forall t \in T: m \le t$
\end{definition}