Jabarkan Maka dari Produk Tensor

jadilah multilinear alami yang menanamkan pangkat Kartesius dari  ke dalam pangkat tensor . Kemudian, berdasarkan sifat universal, ada isomorfisme yang unik