Denotando por "R" el espacio generado por esas cuatro relaciones de equivalencia, el producto tensorial de dos espacios vectoriales "V" y "W" es entonces el espacio cociente