理解盖住关系 COV A；

最小元： 是集合中最小的元素，它和集合中其他的元素都可比（它要和其他元素都有整数关系，在哈斯图中表现为和其他元素都有线段相连）
极小元： 不一定要和集合中的元素都可比，只要没有比它更小（在其他元素的下方）的元素即可。