∆ Определение 1.

Числа $a$ и $b$ сравнимы по модулю $m\ne0$, если $a-b⋮ m$. Обозначение: $a\equiv b\pmod m$.