一个遗传原子的冯·诺依曼代数 \( A \) 可以看作是矩阵代数的 \( W^* \) 积，被视为量子集的基础函数代数。在 \( A\overline{\otimes}A^{\circ} \) 中的投影被解释为 \( A \) 上的量子二元关系，其中所有 \( p\otimes(1-p) \) 的上确界表示量子不等式。我们证明了所有这些量子不等式投影的对称化弱*闭线性包恰好是乘法和反向乘法联合核的对称和，这一结果对于普通矩阵代数在不对称化条件下也成立。该证明利用了 \( A \) 的紧酉群作用下的空间对称性，相关结果包括对那些（遗传原子或非遗传原子）冯·诺依曼代数的分类，其酉群在弱*拓扑下关于乘法运算共同连续。

A hereditarily atomic von Neumann algebra $A$ is a $W^*$ product of matrix algebras, regarded as the underlying function algebra of a quantum set. Projections in $A\overline{\otimes}A^{\circ}$ are interpreted as quantum binary relations on $A$, with the supremum of all $p\otimes (1-p)$ representing quantum inequality. We prove that the symmetrized weak$^*$-closed linear span of all such quantum-inequality projections is precisely the symmetric summand of the joint kernel of multiplication and opposite multiplication, a result valid without the symmetrization qualification for plain matrix algebras. The proof exploits the symmetries of the spaces involved under the compact unitary group of $A$, and related results include a classification of those von Neumann algebras (hereditarily atomic or not) for which the unitary group operates jointly continuously with respect to the weak$^*$ topology.