El teorema de Cantor afirma que si "A" es un conjunto y "P"("A") es su conjunto potencia, es decir, el conjunto de todos subconjuntos de "a ", entonces no hay ninguna función sobreyectiva de "A" a "P"("A").