Es el conjunto de todos los subconjuntos de uno dado.

Si X es el conjunto de entrada la potencia de X se define formalmente como

contiene todos nlos subconjuntos de X

Observe que el conjunto tiene cuatro subconjuntos incluyendo el vacío. También tiene una potencia con cardinalidad igual a ocho.

Una lista ordenada de los subconjuntos de es:

• Si #X es igual a k entonces compruebe que su potencia tiene exactamente #P(X)=2^k elementos.