Alice esegue una misurazione locale sul suo sottosistema. In generale, ciò è descritto da un'operazione quantistica, sullo stato del sistema, del seguente tipo:
Alice performs a local measurement on her subsystem. In general, this is described by a quantum operation, on the system state, of the following kind
dove ''T<sub>i</sub>'' e ''S<sub>i</sub>'' sono operatori rispettivamente di ''H''<sub>''A''</sub> e ''H''<sub>''B''</sub>. Per quanto segue, non è necessario supporre che ''T<sub>i</sub>'' e ''S<sub>i</sub>'' siano operatori di proiezione di stato: cioè non devono necessariamente essere non negativi, né avere una traccia di uno. Cioè, σ può avere una definizione leggermente più ampia di quella di una matrice di densità; il teorema regge ancora. Si noti che il teorema vale banalmente per stati separabili. Se lo stato condiviso σ è separabile, è chiaro che qualsiasi operazione locale di Alice lascerà intatto il sistema di Bob. Quindi il punto del teorema è che nessuna comunicazione può essere raggiunta attraverso uno stato intricato condiviso. Alice esegue una misurazione locale sul suo sottosistema. In generale, ciò è descritto da un'operazione quantistica, sullo stato del sistema, del seguente tipo
