 Definition 5.5 The derivative \(f'\) of a function \(f:{\ON}\rightarrow {\ON}\) is the function which enumerates in increasing order the solutions of the equation \(f( \alpha )= \alpha\), also called the fixed points of f. 