Cardinal inaccessible définition

Cardinal inaccessible

On dit qu`un ordinal α est cofinal avec un ordinal β inférieur si β a le type d`ordre d`une partie cofinale de α, c`est-à-dire s`il existe une application strictement croissante f de β dans α tel que α soit la limite de f au sens suivant : $forall\; gamma\; in\; alpha,\; exists\; delta\; ...$
Trouvé sur https://fr.wikipedia.org/wiki/Cardinal_inaccessible

---