Normal function on an ordinal
= Normal function on an ordinal
A function $f:\lambda\to\lambda$ on an ordinal is normal when it is strictly increasing and continuous at limit ordinals: $f(\delta)=\sup_{\alpha<\delta}f(\alpha)$ for every limit $\delta<\lambda$.