文章目录
一、可比
二、严格小于
三、覆盖
四、哈斯图
一、可比
----
可比 :
A
集合 , 该集合上存在 偏序关系
\preccurlyeq
小于等于 ,
偏序集 是 集合 和 偏序关系...A
上偏序关系
\preccurlyeq
, 组成 偏序集
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
如果
x ,...组成 偏序集
,
x, y , z
是
A
集合中的元素 ,
x , y , z \in A
,
x
严格小于
y
,
x \prec y
,..., 组成 偏序集
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
哈斯图 :
① 顶点 : 使用 顶点 表示
A
集合中的元素..., 所有的元素都比
A
大 ( 包括
A
, 偏序关系是自反的 )
最上面的元素
F
是最大的 , 所有的元素都比
F
小 ( 包括
F
, 偏序关系是自反的 )
BCDE
四个元素互相都不可比