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 Äquvalenzklassen, so, daß ∪_iM_i = M und M_i ∩ M_j = ∅ für alle i ≠ j.

Jede solche Zerlegung von M heißt eine Partition von M, und die Äquivalenzklassen M_i nennt man Blöcke der Partition. Partitionen und Äquivalenzrelationen von M entsprechen einander bijektiv.