反對稱關係- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
數學上，若對所有的 a 和 b 屬於 X，下述語句保持有效，則集合 X 上的二元關係 R 是反對稱的：「若 a 關係到 b 且 b 關係到 a，則 a = b。
」
數學上表示為：
嚴格不等是反對稱的；實際上 a < b 且 b < a 是不可能的，因此嚴格不等的反對稱性是一種空虛的真（英語：Vacuous truth）。
注意，反對稱關係不是對稱關係（aRb 得到 bRa）的反義。
有些關係既是對稱的又是反對稱的，比如"等於"（證明：a=b推出b=a；a=b且b=a推出a=b）；有些關係既不是
