Predicate is a special type of function which is used by several algorithms and containers, There are two variations of predicates: unary and binary. A unary predicate takes one argument, and a binary predicate has two arguments.