= gegen \coloneqq ausgetauscht.
Z(A otimes B) = Z(A) otimes Z(B).
Tensorprodukt von CSA wieder CSA.