_1"上由单位的结合"formula_39"-代数这个事实可以用如下的泛性质形式化的表达：要构造最一般的包含"formula_1"的代数，而且其乘法是在"formula_1"上交替的，很自然可以从包含"formula_1"的最一般的代数开始，也就是张量代数formula_225，然后通过合适的商来强制交替的性质。这样我们取formula_225中由所有形为formula_227的元素生成的双边理想formula_27，其中formula_33属于"formula_1"，并定义formula_218为商