离散数学左孝凌--------第三章集合论二

序关系

covA:

如果告诉你的是关系的集合形式，如图中的关系R1，首先去掉所有的<x,x>。其次，破坏掉关系的传递性：如果<x,y>，<y,z>，<x,z>都在其中，则去掉<x,z>。剩下的就是covA了。

如果告诉你的是关系图，那么去掉所有的环，然后还是破坏传递性。比如图3-14中的(c)，去掉四个环，去掉边<3,1>，， < 3,2>，， <4,2>，剩下的就是哈斯图了，写成集合形式就是covA了。

习题