cpp/concepts/equivalence relation

The concept specifies that the   imposes an  on its arguments.

Semantic requirements
A relation is an equivalence relation if
 * it is reflexive: for all, is true;
 * it is symmetric: for all and,  is true if and only if  is true;
 * it is transitive: implies.