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

Мат. derived predicate