[concept.equiv] (original) (raw)

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](#concept:equivalence%5Frelation "18.7.6 Concept equivalence_­relation [concept.equiv]") = [relation](concept.relation#concept:relation "18.7.5 Concept relation [concept.relation]")<R, T, U>;

1

#

A relation models equivalence_relation only if it imposes an equivalence relation on its arguments.