Es sei
ein
Körper und
seien
-Vektorräume.
Es sei
der von sämtlichen Symbolen
(mit
)
erzeugte
-Vektorraum
(wir schreiben die Basiselemente als
).
Es sei
der von allen Elementen der Form
,
,
erzeugte
-Untervektorraum
von
. Dann nennt man den
Restklassenraum
das Tensorprodukt der
,
.
Es wird mit
-
bezeichnet.