Definition - Sigma-Endlichkeit von Mengenfunktionen

• Typen:
  • Endliche Mengenfunktionen
• Involvierte Definitionen:
  • Mengenfunktion
  • Aufsteigende Mengenfolge
• Veranstaltung: EiS
• Referenz: @henze2019

⠀

Definition: -Endlichkeit von Mengenfunktionen

Sei eine Grundmenge.
Sei ein Mengensystem über .
Sei eine Mengenfunktion.

Sei eine gegen aufsteigende Mengenfolge, also .

Wir bezeichnen als -endlich, falls: