As varies over , defines a section of the bundle of vector bundle isomorphisms of the tangent bundle to the cotangent bundle. This section has the same smoothness as : it is continuous, differentiable, smooth, or real-analytic according as . The mapping , which associates to every vector field on a covector field on gives an abstract formulation of "lowering the index" on a vector field. The inverse of is a mapping which, analogously, gives an abstract formulation of "raising the index" on a covector field.