1. - Clausurativa:Nos dice que la resta de dos números naturales, es otro número natural.Simbólicamente:
Si a ϵ N, b ϵ N, siendo a > b, entonces:
a - b = c, c ϵ N
4.- De la Monotonía:Si los dos miembros de una desigualdad restamos un mismo número natural, entonces la desigualdad se conserva.Simbólicamente:
Para todo a, b, c ϵ N, se cumple:Si a > b, entonces,
a - c > b - c