Una función de estado es cualquier magnitud definida como una función real sobre dicha variedad: formula_2.