Lie derivative
李括號 在概念上是沿著由"X"生成的"Y"微導，常寫為 "formula_1" ("沿著 X 的Y 李微導")。這可以推廣到沿著由"X"生成的流上任意张量场的李导数。