Anfangsstück
# Anfangsstück

Anfangsstück ist ein Begriff der Mengenlehre und der Ordnungstheorie.

## Definition

Eine Klasse $T$ wird Anfangsstück der geordneten Klasse $(K,<)$ genannt, wenn $\forall x\in K\ \forall b\in T:(x<b\Rightarrow x\in T)$.

Jede geordnete Klasse $K$ zerfällt in zwei disjunkten Teilklassen: $K=T\cup (K\setminus T)$, wobei $\forall x\in T\ \forall y\in (K\setminus T):\neg (y<x)$.

