28.7 텐서곱(Tensor Product)의 형식적 정의와 구성 원리