La congruencia modular de grado n, de los números naturales, es una Relación de equivalencia, dado que es reflexiva: