Трансфинитная Рекурсия

Метод определения функций, заданных на ординалах (см. Порядковое число )или вообще на множествах, наделенных ординальной структурой. Определяющее уравнение Т. р. имеет вид где есть лкусок