индивидный предикат

Мат. individual predicate