1. 概述 如果一个 半群 的 二元运算 满足了 交换律 以及 幂等律, 则称之为 半格. 2. 定义 定义 1 (半格) 称 代数结构 为一个 半格, 当它的 二元运算 同时满足以下条件： 封闭性：; 结合律：; 交换律：; 幂等律：. 3. 例子 4. 相关性质 5. 相关概念 接半格, 交半格 格 6. 术语翻译 中文英文半格semilattice 序论 格论