リー微分
を満たす "K"-線型写像である。また同様に X("M") を "M" 上のベクトル場全体の成す集合とすれば、リー微分は