Lie derivative
关于一个特定的数量场"f"的泊松括号formula_44对应于关于formula_36的李导数。从而，它是一个导子，即它满足莱布尼兹法则：