离散数学：是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素，离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。

反对称性与对称性：

任给a，b属于R，则b，a属于R，称R是对称的。

任给a，b属于R，但b，a不属于R，称R反对称。

R1，R2是对称关系，R3是反对称关系，R4即不是对称关系也不是反对称关系，对称和反对称是不相容关系，但不是互斥关系。