文章目录
一、可比
二、严格小于
三、覆盖
四、哈斯图
一、可比
----
可比 :
A
集合 , 该集合上存在 偏序关系
\preccurlyeq
小于等于 ,
偏序集 是 集合 和 偏序关系...大 覆盖 小 )
偏序关系中 大 覆盖 小
符号化表示 :
x \prec y \land \lnot \exist z( z \in A \land x \prec y \prec z )
四、哈斯图...in A
,
哈斯图 :
① 顶点 : 使用 顶点 表示
A
集合中的元素 ;
② 无向边 : 当且仅当
y
覆盖
x
时 ,
y
顶点在
x
顶点 上方 , 并且在
x
顶点...与
y
顶点之间 绘制一条 无向边 ;
上图是
6
元集 上的偏序关系
\preccurlyeq
A
元素比
B,C,D
元素都小
偏序关系是传递的 ,
A
比
B
小 ,...所有的元素都比
F
小 ( 包括
F
, 偏序关系是自反的 )
BCDE
四个元素互相都不可比
哈斯图 与 关系图对比 省略的内容 :
① 环 : 偏序关系是自反的 , 因此 每个顶点上都有环