es decir, la aplicación definida así: formula_6.