1: \begin{definition}\label{def:comm}

2: Suppose $(\Omega_1,\sF_1)$ and $(\Omega_2,\sF_2)$ are two measure spaces and $\cH$ is some Hilbert space. Then two $\cH$-valued instruments, $\hAb_1:\sF_1\to \CP(\cH)$ and $\hAb_2:\sF_2\to \CP(\cH)$ are said to  \emph{strongly commute} if for all $E_1\in \sF_1$ and $E_2\in \sF_2$, there exist sequences of operators $\{A^1_m(E_1):m\in N_1\}$ and $\{A^2_m(E_2):m\in N_2\}$ in $\cL(\cH)$ such that:

3: \newline $\bullet$ the instruments write (cf. Theorem~\ref{the:InsPOVM})

4: \begin{eqnarray}

5: \label{asn1} \hAb_{i,(E_i)}(\rho) = \sum_{m\in N_i} {A^i_m}(E_i)\, \rho \, A^i_m(E_i)^* \quad \forall \rho\, , \; i=1,2

6: \end{eqnarray}

7: $\bullet$ for all $m\in N_1$ and $n\in N_2$ the commutator $[,]$ gives:

8: \begin{eqnarray}\label{asn3}

9: [A^1_m(E_1),A^2_n(E_2)] & = & [A^1_m(E_1),{A^2_n}(E_2)^\ast] = 0 \, .

10: \end{eqnarray}

11: \end{definition}

12: