Dos enteros "a", "b" son congruentes módulo "n", escrito como:"a" ≡ "b" (mod "n") si su diferencia "a"