18 Concepts library [concepts]

18.7 Callable concepts [concepts.callable]

18.7.6 Concept equivalence_relation [concept.equiv]

template<class R, class T, class U> concept equivalence_relation = relation<R, T, U>;
A relation models equivalence_relation only if it imposes an equivalence relation on its arguments.