are equivalent with respect to an equivalence relation the most common are "" and "", which are used when is implicit, and variations of "", "", or "" to specify explicitly. Non-equivalence may be written "" or "".

Definitions

A binary relation on a set is said to be an equivalence relation if it is reflexive, symmetric and transitive. That is, for all and in
* (reflexivity).
* if and only if (symmetry).

1.Previous
3.Next