二、哈斯图 　　利用偏序关系的良好性质，可以把它的关系图简化为较简单的哈斯图。 　　首先，由于自反性，每个顶点都有自圈，则可不画自圈。其次，由于反对称性，两个顶点之间至多一条有向边，则可约定箭头指向上方或斜上方并适当安排顶点位置，以便用无向边代替有向边。最后，由于传递性，依传递可得到的有向边可以不画。 　　下面定义盖住关系，并给出作图规则。 　　定义10.8.4 　　例4 　　例5 　　例6