a_30-formula_30 双模执行这样的构造。（对通常的formula_30-模不行，因为没有迭代张量积。）
伴随与泛性质.张量代数formula_2也成为向量空间"formula_1"上的自由代数，并具有函子性。像其它自由构造一样，函子formula_36左伴随于某个遗忘函子，该函子将每个"formula_7"-代数送到它的底向量空间。准确地说，张量代数满足如下的泛性质，正式地表明它是包含"formula_1"的最一般的代数：这里formula_45是"formul