Definition:Ordinal Sequence Defined by Transfinite Recursion

Definition
Consider the Transfinite Recursion Theorem: Formulation 4:

The $\On$-sequence $S_0, S_1, \dots, S_\alpha, \dots$ is referred to as:
 * the $\On$-sequence defined from $g$ and $c$ by transfinite recursion.