Restrictions of holomorphic sections to products

We associate quantum states with subsets of a product of two compact connected K\"ahler manifolds $M_1$ and $M_2$. To associate the quantum state with the subset, we use the map that restricts holomorphic sections of the quantum line bundle over the product of the two K\"ahler manifolds to the subset. We present a description of the kernel of this restriction map when the subset is a finite union of products. This in turn shows that the quantum states associated with the finite union of products are separable. Finally, for every pure state and certain mixed state, we construct subsets of $M_1\times M_2$ such that the states associated with these subsets are the original states, to begin with.