Als Partition einer Menge bezeichnet man die Zerlegung einer Menge in Teilmengen , sodass jedes Element der Menge in genau einer dieser Teilmengen enthalten ist.
Beispiel
Gegeben ist die Menge .
Mögliche Partitionen dieser Menge sind:
.
Dagegen ist keine Partition von .