Definition (wedge product bundle):
Let be a differentiable manifold and be the -tensor bundle of . The wedge product bundle of degree , denoted , is the subbundle of made of the elements of which are invariant under all vector bundle isomorphisms
Let be a differentiable manifold. An -form on is an element of
the sections of the vector bundle .