(Léase "el conjunto de todos las formula_2 en formula_1 tales que formula_34).