Let \(X\) be a set. A equivalence relation is a relation on its own which is symmetric, reflexiv and transitive.

Remarks
  • Equivalence relations defines equivalence classes. These are partions of \(X\).
  • Every relation defines an equivalence relation.