Ordinaalgetal: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
Regel 20:
De formele definitie van een ordinaalgetal maakt gebruik van [[welgeordende verzameling]]en en beginsegmenten.
*Een welgeordende verzameling is een paar <math>(X,\leq)</math> waarbij <math>X</math> een verzameling is, en <math> \leq </math> een [[welgefundeerde relatie|welgefundeerde]] [[totale orde]]. Dit houdt in dat elke niet-lege deelverzameling een [[kleinste element]] heeft (welgefundeerd) en dat de orde alle elementen van de verzameling beslaat (totaal).
*Een ''beginsegment'' van een welgeordende verzameling <math>(X,\leq)</math> is een verzameling <math> X_a = \{x \in X|x<a\}</math>.
| |||