\begin{definition}[Definition:Ordering on Natural Numbers/Restriction of Real Numbers]
Let $\struct {\R, +, \times, \le}$ be the field of real numbers.
Let $\N$ be the natural numbers in $\R$.
Then the '''ordering''' of $\N$ is the restriction of $\le$ to $\N$.
\end{definition}