Lie derivative
により決まる自然な右作用を持つ。ここに "v" は階数 1 の微分作用素、いわば、ベクトル場 ω であり "n"-形式 ("n" = dim "X") であり、Lie はリー微分を表す。