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
>
;
1
#
A
relation
models
equivalence_relation
only if it imposes an equivalence relation on its arguments
.