\begin{definition}[Definition:Bound of Subset of Real Numbers]
Let $S \subseteq \R$ be a subset of the real numbers $\R$.
Let $S$ be bounded.
Then $K$ is a '''bound''' for $S$ {{iff}}:
:$\forall x \in S: \size x \le K$
\end{definition}