Congruence

Soit $n$ désignant un entier naturel non nul, $a$ et $b$ des entiers relatifs.

On dit que $a$ et $b$ sont congrus modulo $n$ lorsque la différence $a - b$ est un multiple de $n$.

On écrit :

• $a\equiv b\ \text{mod}\ n$
• $a\equiv b\ [n]$
• $a\equiv b\ (n)$