Puesto que formula_95 para cualquiera que sea el conjunto formula_17, puede hacerse uso del esquema de especificación para obtener el conjunto