Simbolizaremos por formula_16 al conjunto potencia de formula_5, es decir al conjunto formado por todos los subconjuntos de formula_5.