定義
M を n 次元多様体とする。
X を M 上のベクトル場とする。
A を M 上の (0, r) 型のテンソル場(>>203)とする。
(0, r-1) 型のテンソル場 i(X)A を
各点 p ∈ M に対して (i(X)A)_p = i(X_p)A_p により定義する。
ここで、(X_p)A_p は X_p と A_p の内部積(>>332)である。

ω ∈ Ω^r(M) (>>315) のとき、i(X)ω ∈ Ω^(r-1)(M) である。