El axioma del conjunto potencia nos da un conjunto que contiene a todos los subconjuntos de cualquier conjunto.