Interior product
= Interior product
{title2=$\iota_X\alpha$}
{wiki}
= Interior product of a differential form
{synonym}
The interior product contracts a differential form with a vector field in its first argument:
$$
(\iota_X\alpha)(X_2,\ldots,X_k)=\alpha(X,X_2,\ldots,X_k).
$$