Ezen nincs mit formalizálni.
Az aritmetikai műveletek a szokásos valós számok testében műveletek.
Olyannyira, hogy gyök(-1) nem létezik itt. Nem tudod kiszámolni.
De ne keverd össze ezeket a műveleterket pl a tenzorok közötti műveletekkel.
És azokkal a tulajdonságokkal.
Ket tenzor szortzasta pl megfelelő elemeik szorzata legyen.
A megfelelő belemek valósak.
A tenzorszorzat tehát nrm ugyanaz a szorzat mint a szokásos szorzás.