Más formalmente dada una función: