In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being "equivalent" in some way. That a is equivalent to b is denoted as "a ~ b" or "a ≡ b". An equivalence relation is reflexive, symmetric, and transitive. In other words, for all elements a, b, and c of the set X, the following must hold for "~" to be an equivalence relation on X: Reflexivity: a ~ aSymmetry: if a ~ b then b ~ aTransitivity: if a ~ b and b ~ c then a ~ c.
See more at Wikipedia.org...