Sea formula_16 una aplicación de un conjunto formula_1 en otro formula_2, y sea formula_354 una aplicación de formula_2 en un conjunto formula_356.