Higher-order predicate

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