ormula_1为一个域formula_39（在多数应用中，也就是实数域）上的向量空间。formula_218是“最一般”的包含formula_1的并有一个交替乘法在"formula_1"上由单位的结合"formula_39"-代数这个事实可以用如下的泛性质形式化的表达：要构造最一般的包含"formula_1"的代数，而且其乘法是在"formula_1"上交替的，很自然可以从包含"formula_1"的最一般的代数开始，也就是张量代数formula_225，然后通过合适的商来强制交替的性质。这样我们取f