Définition
Soit
un entier naturel non nul ;
et
deux entiers relatifs.
et
sont « congrus modulo
» lorsque
et
ont le même reste dans la division euclidienne par
.
Notation :
ou
.
Exemple
et d'une façon générale
.
,
car
et
ont le même reste c'est-à-dire
dans la division euclidienne par
.
donc
.
