Menge/Endliche Teilmengen/Rekursiv/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Endliche Teilmengen (rekursive Definition)

Es sei eine Menge. Die Menge der endlichen Teilmengen von wird folgendermaßen festgelegt.

  1. ,
  2. Für jede Teilmenge und jedes gilt: wenn ist, dann ist auch .
  3. Zu gehören nur solche Mengen, die aufgrund von (1) und (2) dazugehören.