On en déduit que d’autres classes sont des classes propres. En reprenant le raisonnement précédent, on montre que les classes d’équipotence — classes d’équivalence pour la relation " être en bijection ...

Un ensemble est fini si, pour un certain entier N, il est en bijection avec l'ensemble des N premiers entiers, soit {0, 1, …, N-1}, les entiers strictement plus petits que N. Par exemple l'ensemble ...