Definition:Tensor Algebra