\begin{definition}[Definition:Less Than (Real Numbers)]
Let $\R_{>0}$ denote the set of  strictly positive real numbers.
Let $x, y \in \R$.
Then we write $x < y$ {{iff}}:
:$ y - x \in \R_{>0}$
and we say that $x$ is '''less than''' $y$.
\end{definition}