什麼是數學墊格

數學墊格是序理論中的一種數學結構，它是一種偏序集且集中每對元素都有唯一確定的上下確界。格理論在計算機科學、程序語言等領域被大量應用