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

DefinitionBearbeiten

Eine Klasse   wird Anfangsstück der geordneten Klasse   genannt, wenn  .

Jede geordnete Klasse   zerfällt in zwei disjunkten Teilklassen:  , wobei  .

Siehe auchBearbeiten

Oberhalbmenge

LiteraturBearbeiten