tensor product

《Advanced Linear Algebra》 · 第 362 页 · Chapter 14「Tensor Products」

Let $U$ and $V$ be vector spaces over $F$. Any universal pair $(T,t:U\times V\to T)$ for bilinearity is called a tensor product of $U$ and $V$, and $T$ is denoted by $U\otimes V$.