Cofinalidad

La cofinalidad de un conjunto ordenado o de un ordinal es el menor tipo de orden de un subconjunto cofinal (no acotado); para un ordinal α, cf(α) es el mínimo ordinal β para el cual existe una sucesión estrictamente creciente de tipo β que tiene límite α.