1. 概述

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

2. 定义

定义 1 (格)

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

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

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

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

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

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

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
lattice

序论 格论