An anchor is the bundle map from a vector bundle
to the tangent
bundle TB satisfying
1. and
2.
where and
are smooth sections of
,
is a smooth function of
,
and the bracket is the "Jacobi-Lie bracket" of a vector
field.