Soit a, b et r trois réels. a est congru à b modulo r si et seulement si il existe un entier relatif k tel que a-b=kr.
Notation a
b (mod r) ou a
b [r].
18
3 (mod 5),
6
-1 (mod 7),
-
(mod 2π),

-
(mod π).
Soit n un entier relatif. a
0 (mod n) si et seulement si a est un multiple de n.
Si a
b (mod r) et b
c (mod r), alors a
c (mod r).
Si a
b (mod r) et c
d (mod r), alors a+c
b+d (mod r).
Si a
b (mod r) et c
d (mod r), alors ac
bd (mod r).