En la teoría de conjuntos y la teoría del orden , el teorema de Cantor-Bernstein establece que la cardinalidad de la segunda clase de tipos, la clase de tipos de orden contables , es igual a la cardinalidad del continuo . Fue utilizado por Felix Hausdorff y nombrado por él en honor a 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 una familia de este tipo no puede tener una cardinalidad superior. [1]