Para todo par ordenado (a,b) de números naturales, a su diferencia le corresponde un número c, entero, siendo c = a-b, es una aplicación matemática.