Ordinaalgetal: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k →Definitie: typografie |
|||
Regel 5:
De definitie van een ordinaalgetal maakt gebruik van beginsegmenten van [[welgeordende verzameling]]en. Een beginsegment bestaat uit alle elementen die in de volgorde vóór een bepaald gegeven element liggen, dus
*Een ''beginsegment'' van een welgeordende verzameling <math>(X,\leq)</math> is een verzameling <math>X_a = \{x \in X
*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.
| |||