cpp/iterator/indirect binary predicate

The concept specifies requirements for algorithms that call binary predicates as their arguments. The key difference between this concept and std is that it is applied to the types that and  references, rather than  and  themselves.

Semantic requirements
,, and model  only if all concepts it subsumes are modeled.