Más exactamente, si formula_1 es un conjunto, entonces el conjunto potencia de formula_1 es el conjunto formula_5 dado por