eine Zerlegung der Menge M in Mengen M_i, i ∈ I, wenn M die disjunkte Vereinigung der Mengen M_i ist, d. h., wenn gilt \(M={\mathop{\cup }\limits^{.}}_{i\in I}{M}_{i}\).

Zu jeder disjunkten Zerlegung von M gehört genau eine Äquivalenzrelation auf M.