Soient a, b, c et d quatre entiers relatifs et m un entier naturel non nul.
1. Compatibilité avec l'addition
Si a≡b[m] et c≡d[m], alors a+c≡b+d[m].
2. Compatibilité avec la multiplication
Si a≡b[m] et c≡d[m], alors a×c≡b×d[m].
3. Compatibilité avec les puissances
Soit p un entier naturel non nul. Si a≡b[m], alors ap≡bp[m].