定义10.8.4
对偏序集
，如果
，
，
，且不存在元素
使得
且
，则称y盖住x。A上的盖住关系
定义为
。
例4
集合
上的整除关系
是A上的偏序关系。则A上的盖住关系为
对偏序集
，A上的盖住关系是唯一的。可以用盖住关系画偏序集的哈斯图。作图规则为：（1） 每个顶点代表A的一个元素，
（2） 若
且
，则顶点y在顶点x上方，（3） 若
，则x,y间连无向边。例5
例4中偏序集的哈斯图如图10.8.1。
图10.8.1
例6
对
是偏序集，它的哈斯图如图10.8.2。图10.8.2