El producto binario tensorial es asociativo: formula_25 es naturalmente isomorfo a formula_26.