предикатный символ

Мат. predicate symbol