Лемма о фиксированной точке для нормальных функций

• Лемма о неподвижной точке утверждает, что класс неподвижных точек нормальной функции непустой и неограниченный. 
• Фиксированная точка нормальной функции — это порядковый номер, для которого функция имеет значение, равное этому порядковому номеру. 
• Лемма о неподвижной точке эквивалентна утверждению о том, что неподвижные точки нормальной функции образуют замкнутый и неограниченный класс. 
• Пример применения: функция f : Ord → Ord, f(α) = ωα является нормальной, и существует замкнутый, неограниченный класс порядковых чисел θ, таких, что θ = ωθ.