para todos los pares formula_5 en el dominio de formula_3.