テンソル代数上のテンソル積は、formula_22を(graded-commutative)な次数付き環とするような積formula_23を導く。