Partition (Mengenlehre)

In der Mengenlehre ist eine Partition (auch Zerlegung oder Klasseneinteilung) einer Menge ${\displaystyle M}$ eine Menge ${\displaystyle P}$, deren Elemente nichtleere Teilmengen von ${\displaystyle M}$ sind, sodass jedes Element von ${\displaystyle M}$ in genau einem Element von ${\displaystyle P}$ enthalten ist. Anders gesagt: Eine Partition einer Menge ist eine Zerlegung dieser Menge in nichtleere paarweise disjunkte Teilmengen. Insbesondere ist jede Partition einer Menge auch eine Überdeckung der Menge.