Decimos que dos números enteros son "congruentes módulo formula_108" (aunque también se puede generalizar para cualquier otro dominio euclídeo) si al dividirlos entre formula_108 obtenemos el mismo residuo (véase Congruencia).