# Definition:Addition for Natural Numbers in Real Numbers

Let $\struct {\R, +, \times, \le}$ be the field of real numbers.
Let $\N$ be the natural numbers in $\R$.
Then the restriction of $+$ to $\N$ is called addition.