哈斯圖的畫法，以及利用哈斯圖尋找極大元之類

哈斯圖的畫法要確定層數。也就是誰在上，誰在下。我在看過這個文章 偏序集的哈斯圖的畫法之後結合書上的一些定義進行總結：（恆等關係在哈斯圖上體現不出來就不說了。） 1.先把沒有出現在值域的元素放在第一排。如有多個，一起放在第一排。 2.再把在第一排元素所在的關係全部扔了。出現在值域的元素（扔掉的關係且不會出現在未扔掉關係裏）和只出現在前域的元素（未扔掉的關係）放在第二排。 3.以此類推，直到元素全部有

>>阅读原文<<