Higher-order predicate

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