Sea formula_9 un subconjunto de formula_1 y formula_11 una aplicación de formula_9 en formula_8.