3哈斯图 定义3-122:在偏序集<A,s中,如果x、y∈A,xsy, 少y,且没有其他元素z,使x≤z,zsy,则称元素y盖住元 素x。记COVA={X,y>|X、y∈A,y盖住x}。 对于给定偏序集<A,≤>,它的盖住关系是唯一的, 所以可用盖住的性质画出偏序集合图,或称哈斯图,其作 图规则为 (1)小圆圈代表元素。 (2)如果xy且xy,将代表y的小圆圈画在代表x的小圆圈 之上。 (3如果<x,y>∈cOvA,则在x与y之间用直线连结3.哈斯图 定义3-12.2：在偏序集<A，≤>中，如果x、y∈A，x≤y， x≠y，且没有其他元素z，使x≤z，z≤y，则称元素y盖住元 素x。记COVA={<x，y>|x、y∈A，y盖住x}。 对于给定偏序集<A，≤>，它的盖住关系是唯一的， 所以可用盖住的性质画出偏序集合图，或称哈斯图，其作 图规则为： (1)小圆圈代表元素。 (2)如果x≤y且x≠y，将代表y的小圆圈画在代表x的小圆圈 之上。 (3)如果<x，y>∈COVA，则在x与y之间用直线连结