Deux ensembles S et T ont même cardinalité lorsqu'il existe une bijection. Intuitivement, on peut associer chaque élément de S et de T de sorte chaque élément de S est associé à un unique élément de T ...

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 ...