Lie derivative
令formula_8 為關乎向量場 "X" 的流 及 D 表示切線圖導數算子（tangent map derivative operator），那麼在點的 "X" 與"Y" 的李括號可以定義為 李导数：