Anfangsstrecke

Anfangstrecke ist ein Begriff der Mengenlehre und der Ordnungstheorie. Man versteht unter Anfangsstrecke einer geordneten Klasse $(K, <)$ jede aus den Vorgängern eines Elementes $b \in K$ bestehende Teilklasse $T^{< b} = {x \in K ∣ x < b}$ .

Die Bezeichnung Anfangsstrecke geht auf Hausdorff zurück. Bei Cantor werden die Anfangsstrecken Abschnitte genannt. Die Anfangsstrecken sind Anfangsstücke.

Siehe auch

Hauptfilter

Literatur

F. Hausdorff: Grundzüge einer Theorie der geordneten Mengen. In: Mathematische Annalen. Band 65, 1908, S. 439.