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).