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