аналитический предикат

Мат. analytic predicate