離散数学哈斯图极大元素,上确界
上确界是上界中最小的那个上界
丅确界是下界中最大的那个下界
补充:有上界不一定存在上确界因为可能它们不能比较大小
离散数学中最小上界(lub)最大下界(glb)的铨英名称是什么?