SiS es un conjunto, entonces el conjunto de potencia deS es el conjunto de subconjuntos deS. Se puede ver que un conjunto de potencia de noS está compuesto por elementos deS, sino ...SiS es un conjunto, entonces el conjunto de potencia deS es el conjunto de subconjuntos deS. Se puede ver que un conjunto de potencia de noS está compuesto por elementos deS, sino que está compuesto por subconjuntos deS, y ninguno de estos subconjuntos son elementos deS. El Teorema de Cantor (ver Teorema 9.64) establece que el conjunto de potencias de un conjunto, incluso si el conjunto es infinito, siempre es “mayor” que el conjunto original.
