Anfangsstrecke
Erscheinungsbild
Vorlage:Hinweisbaustein Anfangstrecke ist ein Begriff der Mengenlehre und der Ordnungstheorie. Man versteht unter Anfangsstrecke einer geordneten Klasse <math>(K,<)</math> jede aus den Vorgängern eines Elementes <math>b\in K</math> bestehende Teilklasse <math>T^{<b} = \{ x\in K \mid x<b \}</math>.
Die Bezeichnung Anfangsstrecke geht auf Hausdorff zurück. Bei Cantor werden die Anfangsstrecken Abschnitte genannt. Die Anfangsstrecken sind Anfangsstücke.
Siehe auch
Literatur
- F. Hausdorff: Grundzüge einer Theorie der geordneten Mengen. In: Mathematische Annalen. Band 65, 1908, S. 439.