derivation
function on an algebra which generalizes certain features of derivative operator
interior product
binary operation between a vector field and a differential form
Lie derivative
derivative of a tensor field along the flow defined by a vector field