Definition:Subtraction/Natural Numbers

Definition
Let $\N$ be the set of natural numbers.

Let $m, n \in \N$ such that $m \le n$.

Let $p \in \N$ such that $n = m + p$.

Then we define the operation subtraction as:


 * $n - m = p$

The natural number $p$ is known as the difference between $m$ and $n$.