つまりiXは線型かつウェッジ積∧に対してiX(ω∧η)=(iXω)∧η+(−1)kω∧(iXη){\displaystylei_{X}(\omega\wedge\eta)=(i_{X}\omega)\wedge\eta+(-1)^{k}\omega\wedge(i_{X}\eta)}を満たす。
也就是，iX{\displaystylei_{X}}是R-线性的，并且iX(ω∧η)=(iXω)∧η+(−1)kω∧(iXη){\displaystylei_{X}(\omega\wedge\eta)=(i_{X}\omega)\wedge\eta+(-1)^{k}\omega\wedge(i_{X}\eta)}对于ω∈Λk(M){\displaystyle\omega\in\Lambda^{k}(M)}和另一个微分形式η成立。