Cardinalité
Définition
La cardinalité d'un ensemble est la classe d'équivalence des ensembles équipotents (en bijection) avec lui ; la cardinalité mesure la taille à bijection près et distingue tailles finies et infinies indexées par des cardinaux comme ℵ_0 ou 2^{ℵ_0}.