El conjunto potencia siempre tiene un cardinal superior al del conjunto original, como establece el teorema de Cantor, por lo que nunca existe una aplicación biyectiva entre un conjunto y su conjunto potencia.