Пусть \(a\) и \(b\neq0\) \(-\) целые числа. \(\textbf{Остатком}\) от деления числа \(a\) на число \(b\) называется такое неотрицательное целое число, которое по абсолютной величине меньше делителя при выполнении равенства \(a=b\cdot q + r\).

Обозначение: \(r \equiv a \pmod b\).