西安电子科技大学哈斯图$3.6.2软件学院家在偏序集合<A，<>中，元素a,bEA，如果a<b或可比b<a，称a与b是可比的，否则称它们是不可比的。在偏序集合<A,<>中，元素x,yEA，X<y且盖住没有其它元素zEA满足x<z<y，称y盖住x。盖住集<A，>上的盖住集CovA定义为：CovA=(<x,y> I <x,y>E≤，,y盖住x)西安电子科技大学 哈斯图 软件学院 可比 §3.6.2 盖住 在偏序集合<A, ≼>中，元素a,b∈A，如果a≼b或 b≼a，称a与b是可比的，否则称它们是不可比 的。 在偏序集合<A, ≼ >中，元素x,y∈A，x<y且 没有其它元素z∈A满足x<z<y，称y盖住x。 盖住集 <A, ≼>上的盖住集CovA定义为： CovA={<x, y> | <x, y>∈≼ ，y盖住x}