Definition:Addition for Natural Numbers in Real Numbers

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