定義
E を可換環 K 上の有限生成自由加群とする。
v ∈ E と A ∈ T(0, s)(E) (>>198, >>215) に対して、
i(v)A (>>329) を v と A の内部積(interior product)と呼ぶ。