Definition. Smooth vectorfield [009S]

Let be a smooth manifold. A vectorfield is a smooth map into the tangent bundle such that for all points in , or equivalently such that the footpoint projection after is the identity.