Higher-order predicate

A higher-order predicate is a predicate that takes one or more other predicates as arguments. In general, a higher-order predicate of order n takes one or more (n - 1)th-order predicates as arguments, where n > 1.