Let π:P→X be a bundle in the category Diff of smooth manifolds. A vector field v∈Γ(P) is vertical with respect to this bundle if it is in the kernel of the differential dπ:TP→TX.