Tensor product
假定这个泛性质，张量积在同构意义下的惟一性是容易验证的。