Jabarkan Identitas. dari Produk Tensor

dan kemudian menguji kesetaraan ekspresi formal generik melalui manipulasi yang sesuai berdasarkan padanya. Aritmetika didefinisikan pada hasil kali tensor dengan memilih elemen perwakilan, menerapkan aturan aritmatika, dan akhirnya mengambil kelas ekivalen. Apalagi diberikan dua vektor  dan , kelas kesetaraan  dilambangkan .