Recurrencia Transfinita

Un método para definir funciones, sucesiones o clases indexadas por números ordinales especificando el valor en cero, la regla para ordinares sucesores en términos de valores anteriores y el valor en un ordinal límite como una función (a menudo supremo, unión o límite) de los valores en ordinales menores.