higher-order predicate

Мат. предикат высшего порядка