"Then a state is operationally separated with respect to T if T's application does not change the result of applying the state to any element of the other subalgebra: it is operationally separable with respect to T if it is operationally separated, either with respect to T, or with respect to some other operation T* that coincides with the action of T on the other subalgebra."