二元关系

五种关系的性质：

1.自反

   定义：   

   集合表达式：

   关系矩阵：主对角线都为1

   关系图： 每个顶点都有自环

 

2.反自反

   定义： 

   集合表达式：

  关系矩阵：主对角线都为0

  关系图： 所有顶点都没有自环

 

3.对称

   定义：

   集合表达式：

   关系矩阵： 矩阵是对称矩阵

   关系图： 所有边都是双向边

 

4.反对称

   定义:  

   集合表达式：

   关系矩阵： 为1 且 ，则 为 0

   关系图 ：所有的边均为单边（可存在部分自环）

 

5.传递

    定义：

 

   集合表达式：

   关系矩阵： 对于 中为1的位置，在中相应位置都为1

   关系图： 如定义描述

 

 

偏序关系

  如果关系R满足 自反性，反对称性，传递性，我们称关系R 为 偏序关系， 记为

 

全序关系

   如果 A 中的 任意两个元素都是可比 ( ), 则称关系R为 全序关系

   正例： 小于等于关系   

   反例：整除关系，集合的包含关系

 

哈斯图：

描述偏序关系的关系图

 

覆盖：

 两者的偏序关系最近，中间不能加入别的点

 

最小元： 隐藏和集合中所有元素都可比的条件

极小元：没有和集合中的所有元素都可比的条件

 

拓扑排序： 每次选择极小元，删除极小元之后再次出现极小元