Definition:Addition for Natural Numbers in Real Numbers

Definition
Let $\left({\R, +, \times, \leq}\right)$ be the field of real numbers.

Let $\N$ be the natural numbers in $\R$.

Then the restriction of $+$ to $\N$ is called addition.