1. 概述 给定一个 偏序集 , 它的 格 是 中任意 非空 的 有限 子集 都有: 一个 上确界 , 称为 的 接 ; 以及 一个 下确界 , 称为 的 交. 2. 定义 定义 1 (格) 称 偏序集 为一个 格, 若 保有全部的 有限 非空上确界 以及 有限 非空下确界. 定义 2 (以接半格与交半格定义格) 设 为 序结构, 称其为一个 格 当且仅当同时满足了: 为 接半格; 为 交半格. 定义 3 (以半格与吸收律定义格) 设 以及 为 集合 上的 半格, 若 与 额外满足了: 对于 的 吸收律:; 对于 的 吸收律:. 称 序结构 为一个 格, 其中定义 上的 偏序 为: 3. 例子 4. 相关性质 5. 相关概念 半格, 接半格, 交半格 接, 交 6. 术语翻译 中文英文格lattice 序论 格论