格 (序论)

关于其它含义, 请参见 “格”.

格是一类偏序集, 其中任意两个元素都有上、下确界, 即并、交.

例如, 一个集合的所有子集在包含关系下构成的偏序集是格, 其中的上、下确界即为子集的并集、交集.

1定义

定义 1.1. 格是指偏序集 $(X,⩽)$, 其中任意两个元素都有上、下确界.

2相关概念

术语翻译

格 • 英文 lattice • 德文 Verband (m) • 法文 treillis (m)