' as a function from the base ' to the fiber bundle ', so that is then the pushforward of tangent vectors. The horizontal spaces together form a vector subbundle of .

This has the immediate benefit of being definable on a much broader class of structures than mere vector bundles. In particular, it is well-defined on a general fiber bundle. Furthermore, many of the features of the covariant derivative still remain: parallel