文章目录
一、可比
二、严格小于
三、覆盖
四、哈斯图
一、可比
----
可比 :
A
集合 , 该集合上存在 偏序关系
\preccurlyeq
小于等于 ,
偏序集 是 集合 和 偏序关系...A
上偏序关系
\preccurlyeq
, 组成 偏序集
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
如果
x ,..., 所有的元素都比
A
大 ( 包括
A
, 偏序关系是自反的 )
最上面的元素
F
是最大的 , 所有的元素都比
F
小 ( 包括
F
, 偏序关系是自反的 )
BCDE
四个元素互相都不可比...哈斯图 与 关系图对比 省略的内容 :
① 环 : 偏序关系是自反的 , 因此 每个顶点上都有环 , 可以省略掉环
② 箭头 : 偏序关系是反对称的 , 因此 两个顶点两两之间肯定没有双向边 , 都是单向边..., 因此可以省略箭头方向
③ 默认方向 : 使用上下位置表示箭头的方向 , 箭头默认向上 , 偏序是 小于等于 , 最小的在最小面, 最大的在最上面 ;