Let A be a set and ~ be a binary relation on A. ~ is called an
equivalence relation if and only if for all , all the following holds
- Reflexivity: a ~ a
- Symmetry: if a ~ b then b ~ a
- Transitivity: if a ~ b and b ~ c then a ~ c.
The other thing is this.