Tensor product
由张量积给出，然后线性扩张到所有formula_2。此乘法表明张量代数formula_2自然是一个分次代数，"formula_14"作为"formula_8"次子空间。