Cofinalité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La cofinalité d'un ensemble ordonné ou d'un ordinal est le plus petit type d'ordre d'un sous-ensemble cofinal (non borné) ; pour un ordinal α, cf(α) est le plus petit ordinal β pour lequel il existe une suite strictement croissante de type β convergeant vers α.