又来问英语了。

Q: 如何用英语简洁地表述 $X(F) → (∀x∀y F(x) ∧ F(y) → x = y ∨ x ≠ y)$ 中的性质 $X$？（这里的 $=$ 不是逻辑上的等词）

用中文描述，应该就是这样一种性质：满足这种性质的每一种性质（每一类元素），这类元素中的任意两个都能获知它们是相等或不等。

缩略一下就是能知道相不相等的性质怎么表述。

不要太长，能一个形容词搞定最好了（不太行）。谢谢