Por la construcción directa, según lo sugerido en la sección anterior, se puede demostrar que existe el producto tensorial para dos espacios vectoriales cualesquiera.