\left(A_{1}, A_{2}, \ldots, A_{l}, C_{1}, C_{2}, \ldots, C_{n}\right) \mapsto \left\{\begin{array}{c} \begin{array}{l} \left(A_{1} \thinspace A_{2} \thinspace \ldots \thinspace A_{l}\thinspace b_{1} \thinspace b_{2} \thinspace \ldots \thinspace b_{j}\thinspace C_{1} \thinspace C_{2} \thinspace \ldots \thinspace C_{n}\right) = \\ \left(b_{1} \thinspace b_{2} \thinspace \ldots \thinspace b_{j}\thinspace A_{1} \thinspace A_{2} \thinspace \ldots \thinspace A_{l}\thinspace C_{1} \thinspace C_{2} \thinspace \ldots \thinspace C_{n}\right) \end{array} \end{array} \textrm{ if } \left(A_{1} \thinspace A_{2} \thinspace \ldots \thinspace A_{l}\thinspace C_{1} \thinspace C_{2} \thinspace \ldots \thinspace C_{n}\right) \underset{{\scriptscriptstyle c}}{\in} \mathcal{Q^*}\right..