A predicate is a structure, with an overridden operator (), which returns a bool. In the general case (when operator () returns not bool), such a structure is called a functor.