Si "R" es un anillo conmutativo, e "I" es un ideal de "R", entonces dos elementos "a" y "b" de "R" se dicen congruentes módulo "I" si "a" − "b" es un elemento de "I".