Diagram komutatif ini menyajikan properti universal produk tensor. Maka φ


{\displaystyle \varphi } dan h


{\displaystyle h} bilinear, sedangkan h
~





{\displaystyle {\tilde {h}}} linier.