Reflexív:
\( a \equiv a \; \textrm{mod}\ m \)
Szimmetrikus:
\( a \equiv b \; \textrm{mod}\ m \Rightarrow b \equiv a \; \textrm{mod}\ m\)
Tranzitív:
$a \equiv b \; \textrm{mod}\ m$ és $b \equiv c \; \textrm{mod}\ m \Rightarrow a \equiv c \; \textrm{mod}\ m $
Összefüggés összeadásra:
$ a \equiv b \; \textrm{mod}\ m$ és $c \equiv d \; \textrm{mod}\ m \Rightarrow a+c \equiv b+d \; \textrm{mod}\ m$
Összefüggés szorzásra:
$ a \equiv b \; \textrm{mod}\ m$ és $c \equiv d \; \textrm{mod}\ m \Rightarrow a\cdot c \equiv b\cdot d \; \textrm{mod}\ m$
