# equivalence

Equivalence is a relationship * such that if *a***b* then *b***a*,
and if *a***b* and *a***c* then *b***c*.
One example of equivalence is the relation equality;
another is **congruence**. The symbol for equivalence is three
short parallel lines (i.e., like an equals sign with one extra bar).