formado por todos los multiconjuntos cuyos elementos están en formula_2.