Luego, si formula_57 es el conjunto de todas las funciones formula_16, formula_59, de modo que formula_60.