Lie derivative
Manchmal definiert man die Lie-Ableitung beziehungsweise Lie-Klammer direkt durch den Term formula_42. Dabei wird manchmal auch die Umgekehrte Vorzeichenkonvention, also formula_43 verwendet.