El producto tensorial es único salvo isomorfismo, especificado unívocamente por este requisito, y podemos por lo tanto escribir formula_12 en vez de "T".