(Léase "formula_2 pertenece al conjunto formula_3").