抽象代數/格論

格是一種偏序集，其中每對元素都有一個唯一的最小上界和一個唯一的最大下界。