1. 概述

给定一个 偏序集 , 它的 格 是 中任意 非空 的 有限 子集 都有:

2. 定义

定义 1 (格)

称 偏序集 为一个 格, 若 保有全部的 有限 非空上确界 以及 有限 非空下确界.

定义 2 (以接半格与交半格定义格)

设 为 序结构, 称其为一个 格 当且仅当同时满足了:

定义 3 (以半格与吸收律定义格)

设 以及 为 集合 上的 半格, 若 与 额外满足了:

称 序结构 为一个 格, 其中定义 上的 偏序 为:

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
格lattice

序论 格论