théorème de Cantor-Bernstein Théorème fondamental de la théorie des ensembles, qui établit que la relation ≤ définie sur la collection des cardinaux est antisymétrique.