The tensor product is a particular vector space that is a universal recipient of bilinear maps g , as follows. It is defined as the vector space consisting of finite (formal) sums of symbols called tensors v 1 ⊗ ⊗ w 1 + v 2 ⊗ ⊗ w 2 + ⋯ ⋯ + v n ⊗ ⊗ w n , subject to the rules a ⋅ ⋅ ( v ⊗ ⊗ w ) = ( a ⋅ ⋅ v ) ⊗ ⊗ w = v ⊗ ⊗ ( a ⋅ ⋅ w ) , where a is a scalar ( v 1 + v 2 ) ⊗ ⊗ w = v 1 ⊗ ⊗ w + v 2 ⊗ ⊗ w v ⊗ ⊗ ( w 1 + w 2 ) = v ⊗ ⊗ w 1 + v ⊗ ⊗ w 2 . These rules ensure that the map f from the V × × W to V ⊗ ⊗ W that maps a tuple ( v , w ) to v ⊗ ⊗ w is bilinear. The universality states that given any vector space X and any bilinear map g : V × × W → → X , there exists a unique map u , shown in the diagram with a dotted arrow, whose composition with f equals g : u ( v ⊗ ⊗ w ) = g ( v , w ) . This is called the universal property of the tensor product, an instance of the method—much used in advanced abstract algebra—to indirectly define objects by specifying maps from or to this object.