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).
jest graniczną liczbą porządkową wtedy i tylko wtedy, gdy dla każdej innej
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).
