Coba jelasin Identitas. dari Produk Tensor dong

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 .