18 Concepts library [concepts]

18.7 Callable concepts [concepts.callable]

18.7.5 Concept Relation [concept.relation]

template<class R, class T, class U> concept Relation = Predicate<R, T, T> && Predicate<R, U, U> && Predicate<R, T, U> && Predicate<R, U, T>;