En teoría de números, se dice que dos números "a", "b" son "congruentes" respecto a un módulo "n", cuando "n" divide al entero "a-b".