Definition:Subtraction/Natural Numbers

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

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

Then we define the symbol "$-$" thus:


 * $n - m = p := m + p = n$

This is a translation of the definition Unique Minus in the naturally ordered semigroup.