Definition: Klassen einer Menge

Sei eine Zerlegung der Menge , also:

Die Mengen bezeichnen wir als Klassen von .