Definition:Ordinal Function

Definition

Let $A$ be an ordinal (we shall allow $A$ to be a proper class).

Then the mapping $G : A \to \On$ is called an ordinal function.

Sources

• 1971: Gaisi Takeuti: Introduction to Axiomatic Set Theory:$\S 7.44$