Сравнение целых чисел по модулю натурального числа

Целые числа a и b называются сравнимыми по модулю m, если их разность делится без остатка на m. Если числа a и b сравнимыми по модулю m, то можно записать так:

$𝑎 \equiv 𝑏 \left(\mathrm{m}\mathrm{o}\mathrm{d} 𝑚\right),$

где a, b ∈ Z, m ∈ N.