文章目录
一、可比
二、严格小于
三、覆盖
四、哈斯图
一、可比
----
可比 :
A
集合 , 该集合上存在 偏序关系
\preccurlyeq
小于等于 ,
偏序集 是 集合 和 偏序关系...组成的有序对
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
要么是
x \preccurlyeq y
, 要么就是
y...x, y
之间 存在偏序关系 , 不管谁在前 , 谁在后 , 都 统一称
x
与
y
是可比的 ;
二、严格小于
----
严格小于 概念需要基于 可比概念
严格小于 :
A
集合 与...A
上偏序关系
\preccurlyeq
, 组成 偏序集
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
如果
x ,..., 组成 偏序集
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
哈斯图 :
① 顶点 : 使用 顶点 表示
A
集合中的元素