Sean $a,b$ y $n$ enteros, con $n\neq 0$. Diremos que $a$ y $b$ son congruentes módulo $n$ si ambos dejan el mismo residuo si los dividimos entre $n$, o equivalentemente, si $n$ divide a $a-b$. Denotamos esto por $a\equiv b\pmod n$.