Eine Äquivalenzrelation auf einer Menge M {\displaystyle {}M} ist eine Relation R ⊆ M × M {\displaystyle {}R\subseteq M\times M} , die die folgenden drei Eigenschaften besitzt (für beliebige x , y , z ∈ M {\displaystyle {}x,y,z\in M} ).
Dabei bedeutet x ∼ y {\displaystyle {}x\sim y} , dass das Paar ( x , y ) {\displaystyle {}(x,y)} zu R {\displaystyle {}R} gehört.
