离散-如何确定哈斯图极大极小元、最大最小元、最大最小上下界

如何确定哈斯图极大极小元、最大最小元、最大最小上下界

1.如果图中有孤立结点，那么这个结点既是极小元也是极大元，并且图中既无最小元也无最大元（特殊情况）
2.除了孤立结点以外，其他的极小元是图中所有向下通路的终点，其他的极大元是图中所有向上通路的终点。
3.图中唯一的极小元是最小元，唯一的极大元是最大元，否则最小元和最大元不存在。
4.设B为偏序集<A,<=>的子集，若B种存在极大元，它就是B的最小上界，否则从A-B中选择那些向下可达B中每一个元素的结点，它们都是B的上界，其中的最小元是B的最小上界，类似地可以确定B的最大上界。