Definition: Partitionierung einer Menge

Sei eine Familie nicht-leerer Mengen .

Wir bezeichnen als Partition der Menge , wenn gilt:

In anderen Worten bedeutet das,

  1. dass ist die Vereinigung von ist und
  2. dass disjunkt sind.