Congruent Modulo

$a,b\in \mathcal{Z}$ are congruent modulo $n$, if $a\text{ mod }n=b\text{ mod }n$. We write this as $a{=}_{n}b$ (i.e. they have the same remainder when divided by some $n$).