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).