Partition einer Menge

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 $\mathrm A=\left\{1{,}2,3\right\}$.

Mögliche Partitionen dieser Menge sind:

${\mathrm P}_1=\left\{\left\{1\right\},\left\{2{,}3\right\}\right\}\;\mathrm{oder}\;{\mathrm P}_2=\left\{\left\{1{,}2,3\right\}\right\}\;\mathrm{oder}\;{\mathrm P}_3=\left\{\left\{1\right\},\left\{2\right\},\left\{3\right\}\right\}$.

Dagegen ist $Q=\left\{\left\{1{,}2\right\},\left\{2{,}3\right\}\right\}$ keine Partition von $\text{A=}\left\{1{,}2,3\right\}$.