Mengentheorie/Partition/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Menge und . Dann heißt eine 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 .