Content deleted Content added
m robot Adding: es:Lema del punto fijo para funciones normales |
|||
Line 2:
== Background and formal statement ==
A [[normal function]] is a [[proper class|class]] function ''f'' from the class Ord of [[ordinal numbers]] to itself
* ''f'' is '''strictly increasing''': ''f''(α) < f(β) whenever α < β.
* ''f'' is '''continuous''': for every limit ordinal λ, ''f''(λ) = sup { f(α) : α < λ }.
| |||