定義
E を可換環 K 上の有限生成自由加群とする。
s を整数 s ≧ 1 とする。
v ∈ E と A ∈ T(0, s)(E) (>>198, >>215) に対して、
i(v)A ∈ T(0, s-1)(E) を
i(v)A(v_1, ..., v_(s-1)) = A(v, v_1, ..., v_(s-1))
により定義する。
ここで、v_1, ..., v_(s-1) は E の任意の元である。

A ∈ T(0, 1)(E) のときは i(v)A = A(v) である。

A ∈ K のときは i(v)A = 0 と定義する。