DEFINICIÓN
Es el conjunto de todos los subconjuntos de un conjunto ej. Si tenemos un conjunto {a, b, c}:* Entonces un subconjunto podría ser {a} o {b}, o {a, c}, y así sucesivamente,
* y {a, b, c} es también un subconjunto {a, b, c}
* y el conjunto vació{} es también un subconjunto de {a, b, c}.
Entonces todos los subconjuntos juntos harían el conjunto potencia:
P (S)={{}, {a}, {b}, {c}, {a, b}, {a, c}, {b,c}, {a, b, c}}.
