Graniczna liczba porządkowa
Z Wikipedii
Graniczna liczba porządkowa to taka liczba porządkowa, która nie jest następnikiem innej liczby porządkowej. Bardziej precyzyjnie liczba porządkowa jest graniczną liczbą porządkową wtedy i tylko wtedy, gdy dla każdej innej liczby porządkowej następnik . Łatwo zauważyć, że liczba porządkowa jest graniczna wtedy i tylko wtedy, gdy jest równa sumie (teoriomnogościowej) swoich elementów (w przeciwnym wypadku suma ta jest jest poprzednikiem).
Przykłady:
- ω jest graniczną liczbą porządkową.
- Żadna skończona liczba porządkowa większa niż 0 nie jest graniczna.