Zerlegung einer Menge mittels einer Äquivalenzrelation.

Ist R eine Äquivalenzrelation auf der Menge M, so induziert R eine eindeutige Zerlegung von M in paarweise disjunkte Untermengen M_i, die Äquivalenzklassen, so, daß ∪_iM_i = M und M_i ∩ M_j = ∅ für alle i ≠ j. Jede solche Zerlegung von M heißt eine Mengenpartition von M, und die Äquivalenzklassen M_i sind die Blöcke der Mengenpartition. Mengenpartitionen und Äquivalenzrelationen von M entsprechen einander bijektiv.