Properties of Mapping on Class of All Ordinals

Theorem
Let $\On$ denote the class of all ordinals.

Let $F$ be a mapping on $\On$.

For $\alpha \in \On$, let $F \restriction \alpha$ denote the restriction of $F$ to $\alpha$.

Then: