Formalmente, dada una función formula_1: