1. 概述 给定一个 偏序集 , 它的 接半格 是 中任意 非空 的 有限 子集 都有一个 上确界 (称为 接). 2. 定义 定义 1 (接半格) 设 为 偏序集, 若对任意 皆有 接 , 则称 序结构 为 接半格. 定义 2 (以半格定义接半格) 设 为 半格, 称 序结构 为 接半格, 其中定义 偏序 为： 3. 相关概念 接, 交 半格, 交半格 4. 术语翻译 中文英文接半格join semilattice 序论 格论