\begin{definition}[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'''.
Category:Definitions/Natural Numbers
\end{definition}