We will use several kinds of tensor products throughout; \(\otimes \) , \(\bar{\otimes }\) , \(\otimes _{\min }\)  and \(\otimes _{\max }\)  denote algebraic, \(W^*\) -algebraic, minimal \(C^*\) -algebraic and maximal \(C^*\) -algebraic tensor products, respectively. The reader can find their basic facts in Brown–Ozawa's book [1]}.
