Tensor product
は、テンソル積の先頭の 2つの空間上のトレースである。