Menge/Partition/Definition

Partition

Es sei eine Menge. Eine Teilmenge heißt Partition von , falls die folgenden Bedingungen erfüllt sind.

  1. Für alle gilt .
  2. Für , , gilt .
  3. Die Elemente von bilden eine Überdeckung von , d.h. jedes Element von liegt in mindestens einem Element von .