Consideremos el conjunto ℕ = {0, 1, 2, ..."n", ...} de los números naturales y sean "a","b" no nulo, "c" números naturales, diremos que