Lie derivative
definiert; dabei ist formula_95 ein Vektorfeld, formula_96 die Lie-Ableitung und formula_97 die Einsetzung von formula_98