алгебраическое сравнение

Мат. algebraic comparison, algebraic congruence