Kofinalität

Die Kofinalität einer geordneten Menge oder Ordinalzahl ist der kleinste Ordnungstyp einer kofinalen (unbeschränkten) Teilmenge; für ein Ordinal α ist cf(α) das kleinste Ordinal β, für das es eine streng wachsende Folge vom Typ β mit Limes α gibt.