Lie derivative
として定義される。ナイエンハイス-リー微分は、「通常の意味ではもはや微分ではない」という注意すべき例外事項のあることを除いて、通常のリー微分におけるそれと同様のさまざまな代数的性質を満足する。