In mathematics, the tensor product of two vector spaces V and W (over the same field) is itself a vector space, together with an operation of bilinear composition, denoted by , from ordered pairs in the Cartesian product into , in a way that generalizes the outer product. The tensor product of V and W is the vector space generated by the symbols , with and , in which the relations of bilinearity are imposed for the product operation , and no other relations are assumed to hold. The tensor product space is thus the "freest" (or most general) such vector space, in the sense of having the least constraints.