Transfinite Recursion

A method of defining functions, sequences, or classes indexed by ordinal numbers by specifying the value at zero, the rule for successor ordinals in terms of earlier values, and the value at a limit ordinal as a function (often involving supremum, union, or limit) of values at smaller ordinals.