为微分形式与一个向量场的缩并。从而如果 "X" 是流形 "M" 上一个向量场，那么是将一个 "p"-形式 "ω" 映为 ("p"−1)-形式 "i""ω"，由性质 所定义，对任何向量场 "X"..., "X"。本质上来说，内乘可以定义在向量空间与外代数上，即只与流形的一点有关。内乘也称为内乘法（ 或 ），或内导数（ 或 ）。一些作者使用字母 formula_3 代替 formula_4；内乘有时也写成 formula_5 或者 formula_6。
性质.由反对称性