反對稱關係

在集合 上的關係 是反對稱的，當且僅當不同的元素永遠不會彼此相關。換句話說， 和 同時成立意味著 。