Reste

Formalisiere, für natürliche Zahlen $a$, $b$, $m$, "$a$ und $b$ haben den gleichen Rest beim Teilen durch $m$", in Zeichen "$a \equiv_m b$".