Ординал
называется
предельным
, если не существует ординала
такого, что
.
Пусть
— предельный
ординал
.
Конфинальностью
называется число
, равное наименьшему
, для которого существует
функция
из
в
и
. Кардинал
называется
регулярным
, если
,
сингулярным
— если
.