algebraic predicate

Мат. алгебраический предикат