Классы вычетов

Множество всех чисел сравнимых с a по модулю n называется классом вычетов a по модулю n, и обычно обозначается   или  . Таким образом, сравнение   равносильно равенству классов вычетов  .