docoo
Resta en $\mathbb{N}$
Se necesita que el minuendo sea mayor que el sustraendo, de lo contrario no habrá resta.

$a - b$ hace referencia al elemento "b" veces anterior a "a"

Sea cual sea el minuendo se puede escribir como suma de otros dos números naturales si lo conseguimos escribir como una suma de manera que uno de ellos sea el sustraendo, el otro será el resultado.

--