equivalence relations


A relation is an equivalence relation if it is reflexive, symmetric, and transitive. Equivalence relations can be used to partition a set into equivalence classes. Examples include equality, isomorphism, and graph connectivity.


-this concept has no prerequisites-


  • Define an equivalence relation
  • Be able to show that something is an equivalence relation
  • Understand how equivalence relations partition a set into equivalence classes

Core resources (read/watch one of the following)


Stanford CS103: Mathematical Foundations of Computing (2013)
Lecture notes for Stanford's introductory computer science theory course.
Author: Keith Schwarz


See also

-No Additional Notes-