Ay≤xB在≤的哈斯图中，x所对应的节点位于y所对应的节点的上方CA中必存在一个不同于x和y的元素z，使得x≤z且z≤yD{x，y}的上确界必是y，下确界必是x