1: \begin{definition}

2:  The set $Q'$ is the set of boxes $\boxp$ such that

3:  \begin{align}

4:   P(a,b|x,y)= \bra{\psi}E_x^aE_y^b \ket{\psi}

5:  \end{align}

6:  for some state $\ket{\psi} \in \Hi$ and projective measurements\footnote{Since we do not fix dimension, there is no loss of generality in restrict to 

7:  pure states and projective measurements. This is due to Naimark's Theorem, see 

8: \url{https://cs.uwaterloo.ca/~watrous/CS766/LectureNotes/05}.} $\DE{E_x^a}$ and $\{E_y^b\}$, acting on $\Hi$, satisfying

9: \begin{align}

10: \De{E_x^a,E_y^b}=0\; \forall a,b,x,y.

11: \end{align}

12: \end{definition}

13: