En teoría de conjuntos y teoría del orden , el teorema de Cantor-Bernstein establece que la cardinalidad de la segunda clase tipo, la clase de tipos de orden contables , es igual a la cardinalidad del continuo . Fue utilizado por Felix Hausdorff y le puso el nombre de Georg Cantor y Felix Bernstein . Cantor construyó una familia de tipos de orden contables con la cardinalidad del continuo, y en su disertación inaugural de 1901, Bernstein demostró que tal familia no puede tener una cardinalidad superior. [1]