conjunto de potencia

en la teoría de conjuntos basada en los axiomas de Zermelo-Fraenkel,la existencia del conjunto potencia
se establece por el axioma del conjunto potencia.