donde los formula_8 son disjuntos y para cada formula_8 la aplicación