An equivalence relation is a relation that is reflexive, symmetric, and transitive. For example, the relation “is congruent to” is an equivalence relation, as every number is congruent to itself, if a is congruent to b then b is congruent to a, and if a is congruent to b and b is congruent to c, then a is congruent to c.