Ordinal function

An ordinal function refers to a function from ordinals to ordinals. More rarely, they refer to functions from an initial segment of the ordinals to another. Important examples include continuous functions and normal functions.

Technically speaking and within ZFC, since ordinals don't form a set, one can't formally talk about functions \(f:\text{On}\to\text{On}\). However, replacing \(\text{On}\) with a large enough ordinal, such as an inaccessible ordinal or even an uncountable or principal ordinal, depending on context, is usually enough to formally recover any results on them. As such, we still refer to them as functions from ordinals to ordinals in the wiki.