 Definition 5.4 Let \({\ON}\) be the class of ordinals. A (class) function \(f:{\ON}\to{\ON}\) is said to be increasing if \(\alpha&lt;\beta\) implies \(f(\alpha)&lt;f(\beta)\) and continuous (in the order topology on \({\ON}\)) if