Большой энциклопедический словарь
СРАВНЕНИЕ — соотношение между двумя целыми числами a и b, означающее, что разность a — b этих чисел делится на заданное целое число m, называемое модулем сравнения; пишется a ? b (mod m). Напр., 2 ? 8(mod 3) — т. к. 2 — 8 делится на 3.