definable ordinal

Мат. определяемое порядковое число