Tensor product
によって誘導される（テンソル積の普遍性）。