反对称关系

在集合 上的关系 是反对称的，当且仅当不同的元素永远不会彼此相关。换句话说， 和 同时成立意味着 。