Ensemble fini, cardinal : définition (Terminale spé)

Un ensemble $E$ est fini s'il possède un nombre fini d'éléments. Ce nombre s'appelle le cardinal de $E$ et se note $\mathrm{card}(E)$.

Par convention, $\mathrm{card}(\emptyset)=0$.

Exemple : si $E=\{1;3;5;7\}$, alors $\mathrm{card}(E)=4$.