離散數學反對稱性

離散數學：是研究離散量的結構及其相互關係的數學學科，是現代數學的一個重要分支，離散的含義是指不同的連接在一起的元素，主要是研究基於離散量的結構和相互間的關係，其對象一般是有限個或可數個元素，離散數學在各學科領域，特別在計算機科學與技術領域有着廣泛的應用，同時離散數學也是計算機專業的許多專業課程，如程序設計語言、數據結構、操作系統、編譯技術、人工智能、數據庫、算法設計與分析、理論計算機科學基礎等必不可少的先行課程。

反對稱性與對稱性：

任給a，b屬於R，則b，a屬於R，稱R是對稱的。

任給a，b屬於R，但b，a不屬於R，稱R反對稱。

R1，R2是對稱關係，R3是反對稱關係，R4即不是對稱關係也不是反對稱關係，對稱和反對稱是不相容關係，但不是互斥關係。