Algunas veces la definición no aparece explícitamente de esa forma, sino que se dice que formula_7.