Auf jeder Menge M {\displaystyle {}M} gibt es die Äquivalenzrelation, unter der alle Elemente zueinander in Relation stehen.