El producto tensorial formula_3 de dos espacios vectoriales "V" y "W" sobre un cuerpo "K" tienen una definición formal por el método de "generadores y relaciones" (se denota generalmente como V ⊗ W cuando el cuerpo subyacente K se sobreentiende).