Cofinality

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The cofinality of an ordered set or an ordinal is the smallest order type of a cofinal (unbounded) subset; for an ordinal α, cf(α) is the least ordinal β for which there exists a strictly increasing sequence of type β with limit α.