Transfinite Recursion Theorem

Also presented as
There are variants in how this result is presented, as the topic can be approached from a number of different directions.

Here are examples: