Notar que si formula_10, la condición 2 es equivalente a pedir que para cada formula_11, el conjunto formula_12 sea acotado.