所有的贝尔不等式

推导了适用于任意数目观测者、每人任意数目备选设置以及每次实验任意数目不同结果的贝尔不等式。表明若一物理系统由若干远距离子系统构成，且对后者所作测试的结果由具有客观值的局域变量决定，则触发任意给定远距离探测器集合的联合概率乃是有限个布尔数组的凸组合，这些数组的分量依一简单规则取 0 或 1。这一凸性既是局域客观变量存在的必要条件也是充分条件。它导出了一种简单图解法，可产生对应于凸多胞体面的众多广义 Clauser-Horne 不等式。具有正部分转置的密度矩阵的量子系统满足所有这些不等式，从而与局域客观变量相容，即便其量子性质本质上是非局域的，这是合理的。