Sia $m$ un numero intero in $\Z$ non nullo.
Sia $a$ un numero intero in $\Z$.
Allora:
$$ [a]\equiv \{b \in \Z : a \equiv b \ (\text{mod } m ) \} = [r] $$
dove $r$ è il resto della divisione di $a$ per $m$ cioè $a=mq+r$
todo