Formalmente, el producto tensorial de los dos espacios vectoriales "V" y "W" sobre el mismo cuerpo base "F" es definido por la siguiente propiedad universal: