Ordinaalgetal: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 8:
*Een '''ordinaal''' is een welgeordende verzameling <math>(X,\leq)</math> waarvoor geldt dat <math>a = X_a</math> voor alle <math>a</math> in <math>X</math>, dus een welgeordende verzameling waarvan ieder element zijn eigen beginsegment is.
==Opvolger-ordinaal==
Bij iedere ordinaal <math>\alpha</math> kan een nieuwe ordinaal, de ''
Uitgaande van de lege verzameling ontstaan zo de [[Natuurlijk getal#Binnen de verzamelingenleer|verzamelingtheoretische voorstellingen van de natuurlijke getallen]] (waarbij ∅ staat voor de [[lege verzameling]]):
Regel 18:
* enz.
Dit zijn echter niet
==Limietordinaal==
|