Definition:Addition for Natural Numbers in Real Numbers

From ProofWiki
Jump to navigation Jump to search

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.