Definition:Ordering on Natural Numbers/Restriction of Real Numbers

Definition
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$.

Also see

 * Restriction of Ordering is Ordering