defined as the disjoint union of all tangent spaces (one tangent space for each point) of ,

Similarly, a covector field is a map from a manifold to its cotangent bundle (defined analogously to the above expression but replacing with ). A tensor can be formed by taking a tensor product of a tensor and a tensor, which themselves can be formed by taking - and -fold tensor products of vectors and covectors, respectively. Thus a tensor