Transfinite Recursion

PROP-TREC. Transfinite Recursion.

If $G$ is a function on $\V$, then there is a unique function $F$ on $\Ord$ such that

\[F(\alpha) = G(F\restriction_\alpha)\]

for every $\alpha\in\Ord$.