Partition

Einfache Sprache

Alle Mengen einer Partition sind also nichtleer und paarweise disjunkt. Zusammen müssen sie die Ausgangsmenge ergeben.

Def. Partition

Eine Menge $Z$ von Mengen heißt eine Partition oder Zerlegung einer nichtleeren Menge $M$, falls die folgenden drei Eigenschaften gelten:

1. Für alle $X \in Z$ gilt $X = \emptyset$.
2. Für alle $X, Y \in Z$ folgt aus $X = Y$, dass $X \cap Y = \emptyset$.
3. $M = \bigcup Z$