Пусть m — положительное целое число, а a — произвольное целое число. Тогда классом вычетов для a по модулю m называется множество всех целых чисел b, которые дают одинаковый остаток при делении на m, что записывается в виде b ≡ a (mod m). Здесь ≡ обозначает сравнение по модулю m, а mod — это операция взятия остатка от деления.