Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Ein Zermelosystem bezeichnet in der Mengenlehre ein Teilmengensystem und entspringt Ernst Zermelos Beweis des Vergleichbarkeitssatzes.

Kette von Teilmengen

Eine Menge T heißt eine Kette von Teilmengen (⊆-Kette), falls:

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

Literatur

• Oliver Deiser: Einführung in die Mengenlehre. Berlin 2004. ISBN 3-540-20401-6