Cardinal

[ Definition ]
Étant donné un ensemble, on sait qu’il existe au moins un ordinal auquel cet ensemble est équipotent. Éventuellement il peut y en avoir plusieurs; le plus petit élément de ces ordinaux (au sens défini plus haut sur les ordinaux, c’est-à-dire la relation \(\in\)) est appelé le cardinal de l’ensemble. On note usuellement \(\overline {\overline E}\) le cardinal de \(E\), ou \(\# E\), ou encore \(|E|\). On note \(Card\) la classe des cardinaux.
En savoir plus