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 ab (mod r) ou a
b [r].
183 (mod 5),
6
-1 (mod 7),
-
(mod 2π),
-
(mod π).
Soit n un entier relatif. a0 (mod n) si et seulement si a est un multiple de n.
Si ab (mod r) et b
c (mod r), alors a
c (mod r).
Si ab (mod r) et c
d (mod r), alors a+c
b+d (mod r).
Si ab (mod r) et c
d (mod r), alors ac
bd (mod r).