Menge/Äquivalenzrelation/Partition/Fakt
Es sei eine Menge.
Es gibt eine natürliche Korrespondenz zwischen Äquivalenzrelationen auf und Partitionen auf .
Dabei wird einer Äquivalenzrelation die Menge ihrer Äquivalenzklassen zugeordnet, und einer Partition wird diejenige Äquivalenzrelation zugeordnet, bei der zwei Elemente als äquivalent angesehen werden, wenn sie in dem gleichen Block der Partition liegen.