Partiendo de un conjunto U, cualesquiera, llamamos conjunto potencia de U, al conjunto de todos los subconjuntos posibles de U y lo denotamos formula_42.