Zermelosystem
aus Wikipedia, der freien Enzyklopädie
Ein Zermelosystem bezeichnet in der Mengenlehre ein Teilmengensystem und entspringt Ernst Zermelos Beweis des Vergleichbarkeitssatzes.
[Bearbeiten] Kette von Teilmengen
Eine Menge T heißt eine Kette von Teilmengen (⊆-Kette), falls: 
[Bearbeiten] Zermelosystem und Ziele eines Zermelosystems
Eine nichtleere Menge Z heißt ein Zermelosystem, wenn für alle ⊆-Ketten T in Z gilt: 
Sei Z ein Zermelosystem, dann heißt x ein Ziel von Z, wenn gilt: 
Siehe auch: Mächtigkeit
[Bearbeiten] Literatur
- Oliver Deiser: Einführung in die Mengenlehre. Berlin 2004. ISBN 3-540-20401-6
