Resta en
Definición. (
) La resta en los enteros es la función
Sean
. La diferencia de con es y se denota
.
Observación.
Sean
. La solución de es y dicha solución es única. Esto se demuestra simplemente sustituyendo .
Proposición. (Propiedades de
) Sean
.
Proof.