La condición (ii) es equivalente, por lo tanto, a pedir que para todo formula_16 en formula_2 se cumpla para formula_8 que