, 组成 偏序集
,
x, y
是
A
集合中的两个元素 ,
x , y \in A
,
如果
x , y
是可比的 (
x,y
之间存在偏序关系...,
x , y \in A
,
哈斯图 :
① 顶点 : 使用 顶点 表示
A
集合中的元素 ;
② 无向边 : 当且仅当
y
覆盖
x
时 ,
y
顶点在
x
顶点 上方 ,...并且在
x
顶点 与
y
顶点之间 绘制一条 无向边 ;
上图是
6
元集 上的偏序关系
\preccurlyeq
A
元素比
B,C,D
元素都小
偏序关系是传递的 ,
A...因此 每个顶点上都有环 , 可以省略掉环
② 箭头 : 偏序关系是反对称的 , 因此 两个顶点两两之间肯定没有双向边 , 都是单向边 , 因此可以省略箭头方向
③ 默认方向 : 使用上下位置表示箭头的方向..., 箭头默认向上 , 偏序是 小于等于 , 最小的在最小面, 最大的在最上面 ;