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"
La resta en $\mathbb{Z}$ es una forma de suma , de hecho restar un elemento es sumar el opuesto de un elemento $a -b = a + (-b)$.