1 基本概念
1.1 定义
1.1.1 偏序集基础
格通常建立在偏序集之上。偏序集是指集合中给定一种“大小”或“先后”关系，并满足自反性、反对称性与传递性。换言之，每个元素都与自身相关，若两个元素互相不小于对方，则它们实际上是同一个元素；而若一个元素不小于第二个，第二个又不小于第三个，则第一个也不小于第三个。
1.1.2 上确界与下确界
在偏序集中，若若干元素存在一个共同的“最小上界”，就称它们具有上确界；若存在一个共同的“最大下界”，则称它们具有下确界。直观上，上确界是所有上界中最接近原元素集合的一个，而下确界则是所有下界中最“高”的一个。
1.1.3 格的形式定义
若一个偏序集中任意两个元素都存在上确界和下确界，则该偏序集称为格。对于任意元素 a 和 b，它们的上确界常记作 a∨b，下确界常记作 a∧b。由此，格既是一种次序结构，也可视为一种带有两种基本二元运算的代数系统。
1.2 相关术语
1.2.1 上格与下格
若一个偏序集中任意两个元素都存在上确界，则称为上半格；若任意两个元素都存在下确界，则称为下半格。格可以看作同时具备上半格与下半格性质的结构。
1.2.2 最大元与最小元
在格中，若存在一个元素不小于其他所有元素，则称为最大元；若存在一个元素不大于其他所有元素，则称为最小元。它们分别是全局意义上的“顶端”和“底端”，但并非每个格都必然拥有这两个元素。
1.2.3 上确界与下确界的唯一性
上确界和下确界一旦存在，就是唯一的。这一唯一性来自偏序关系本身：若两个元素都满足“最小上界”的条件，它们必然彼此不大于对方，因此只能是同一个元素。下确界的情形完全类似。
1.3 直观理解
1.3.1 从集合包含关系理解
最常见的直观模型是集合的包含关系。把若干集合的并看作上确界，把交看作下确界，就能较清楚地理解格的含义：并集提供“共同覆盖”，交集提供“共同拥有”的部分。
1.3.2 从信息合并角度理解
从信息论或知识表示的角度看，格中的上确界可理解为信息的合并，下确界则对应信息的共同约束。两个对象的信息若能综合成一个更“宽”的对象，便类似于上确界；若要提取它们共同保留的内容，则近似于下确界。
1.3.3 从层级结构角度理解
格还可被看成层级网络。元素之间存在上下关系，而上确界和下确界分别对应两个分支向上汇合、或在下方找到共同基础的位置。这使格非常适合描述分类体系、依赖结构和组织层次。
2 典型类型
2.1 分配格
2.1.1 分配律
分配格要求两个基本运算彼此满足分配律，即一个运算能够对另一个运算“展开”。常见形式是 a∧(b∨c)=(a∧b)∨(a∧c)，以及对偶公式。分配律使格中的组合行为更接近常规代数中的乘法与加法关系。
2.1.2 典型例子
幂集格、布尔代数以及许多集合型结构都属于分配格。它们通常具有较强的规则性，便于进行逻辑化处理和符号运算，因此在代数与计算机科学中都很常见。
2.2 模格
2.2.1 模律
模格满足一种比分配律更弱的条件，称为模律。它限制了上下运算的嵌套方式，但并不要求完全可分配，因此保留了更广泛的适用范围。
2.2.2 与分配格的关系
所有分配格都是模格，但反过来未必成立。也就是说，模格是分配格的推广，二者之间呈现“更弱条件包含更强条件”的关系。某些几何与代数对象常出现模格而非分配格的情形。
2.3 完备格
2.3.1 任意子集的上确界
完备格要求任意子集都存在上确界，不仅限于两个元素。也就是说，哪怕面对无限多个元素，也能找到它们的最小上界，这使完备格具有较强的整体封闭性。
2.3.2 任意子集的下确界
与上确界对应，完备格还要求任意子集都存在下确界。这样一来，任何子集都能在结构内部找到其共同下界，从而适合处理无限过程和极限构造。
2.4 有界格
2.4.1 上界元
若格中存在一个大于等于所有元素的元素，则称其为上界元。它常被视为全局顶点，在许多例子中对应全集、最大真值或整体系统的最强状态。
2.4.2 下界元
若格中存在一个小于等于所有元素的元素，则称其为下界元。它通常对应空集、最小真值或系统中最弱、最基础的状态。具有上下界元的格更便于定义极值与边界行为。
3 代数性质
3.1 次序性质
3.1.1 反对称性
格继承了偏序的反对称性，即若 a≤b 且 b≤a，则 a=b。这个性质保证了次序不会形成“循环大小关系”，从而使结构保持清晰。
3.1.2 传递性
若 a≤b，且 b≤c，那么必有 a≤c。传递性使格中的次序具有连贯性，也让上、下界的推导可以层层延伸。
3.1.3 可比性与不可比性
格中的任意两个元素未必都可比较。不可比并不意味着结构混乱，而是说明元素可能代表不同维度的对象，需要借助上确界和下确界来统一处理，而非直接用大小关系排定先后。
3.2 运算性质
3.2.1 交与并的抽象化
在许多具体模型中，下确界和上确界分别类似于“交”和“并”。格论将这种现象抽象出来，使得交并不再局限于集合，而可以应用到命题、子空间、约束系统等多种对象。
3.2.2 幂等律
格运算满足幂等律，即 a∨a=a，a∧a=a。这个性质表明把同一元素与自身组合，不会产生新的信息，符合“合并不增多、求交不改变”的直观。
3.2.3 交换律
上确界与下确界都满足交换律：a∨b=b∨a，a∧b=b∧a。它说明两个元素的组合顺序不影响结果，体现了格中基本运算的对称性。
3.2.4 结合律
格运算还满足结合律，即多个元素组合时，分组方式不影响最终结果。这使得格中的多元运算可以稳定地扩展到有限个元素的情形。
3.3 特殊元素
3.3.1 零元
在格论中，零元通常指最小元。它与上确界、下确界及补元等概念常相互联系，在有界结构中具有基础地位。
3.3.2 单位元
单位元一般指最大元。它在上确界运算中常扮演“吸纳整体”的角色，与零元一起构成有界格的两端。
3.3.3 补元
若某元素与另一个元素结合后可得到最大元，而二者下确界为最小元，则后者可称为前者的补元。补元并非在所有格中都存在，但在布尔代数等结构中非常关键。
4 结构与构造
4.1 子格
4.1.1 子集封闭性
若格的某个子集在原来的上确界和下确界运算下仍保持封闭，则该子集可能形成子格。也就是说，任意从其中选出的两个元素，其交与并仍落在该子集内。
4.1.2 子格判定
判断一个子集是否为子格，核心在于检查它对格运算的封闭性。若对任意两元素，其上确界和下确界都属于该子集，则它就是子格；否则就只是普通子集。
4.2 积格
4.2.1 直积构造
积格由若干格按直积方式构成。其元素是有序组，而运算通常按分量逐一进行。这种构造可以把多个结构组合成一个更大的格。
4.2.2 分量次序
在积格中，次序关系也按分量定义：只有当每个分量都满足对应次序时，整体才成立。这使积格在形式上简洁，同时便于逐项分析。
4.3 商格
4.3.1 等价关系
构造商格时，需要先在格上引入某种相容的等价关系，把若干元素归并为同一类。该关系必须与原有次序和运算保持协调，才能保证商结构可定义。
4.3.2 商结构的定义
商格的元素是等价类，运算则由原格中的运算诱导而来。若定义恰当，商格会继承原结构中的部分性质，并常用于简化复杂格的研究。
4.4 同态与同构
4.4.1 保序映射
保序映射指在映射前后，元素的先后关系不被破坏。若 a≤b，则像 f(a)≤f(b)。这是研究格之间关系的基础工具。
4.4.2 格同态
格同态不仅要求保序，还要求保持上确界与下确界，即映射对两种基本运算相容。通过格同态，可以比较不同格的结构相似性。
4.4.3 格同构
若两个格之间存在双向对应且彼此保持格结构的映射，则称它们同构。同构表明两个格在本质上是“同一种结构”的不同表现形式，只是书写方式或元素名称不同。
5 典型实例
5.1 幂集格
5.1.1 按包含关系排序
一个集合的所有子集按包含关系排列，便构成典型的格。空集是最小元，全集是最大元，子集之间的比较完全由包含关系决定。
5.1.2 交与并作为运算
在幂集格中，两个子集的下确界是它们的交集，上确界是它们的并集。这一例子最直接地展示了格论与集合论之间的联系。
5.2 整除格
5.2.1 因子关系
在正整数集合中，可以用整除关系定义次序：若 a 能整除 b，则 a≤b。这样，数字之间不再按大小，而是按“能否整除”来排列。
5.2.2 最大公因数与最小公倍数
在这种结构中，两个数的下确界对应最大公因数，上确界对应最小公倍数。因此，初等数论中的这些概念可被自然纳入格论框架。
5.3 逻辑命题格
5.3.1 命题之间的蕴含关系
若以命题为元素，并按“蕴含”作为次序，则命题之间可形成格结构。更强的命题通常处于更高位置，更弱的命题则更低。
5.3.2 合取与析取
在这一格中，合取相当于下确界，析取相当于上确界。由此，逻辑运算与格运算之间建立了清晰对应，便于形式化推理。
5.4 线性空间中的子空间格
5.4.1 子空间的包含关系
向量空间的全部子空间按包含关系排列，也形成格。零子空间是最小元，整个向量空间是最大元。
5.4.2 交与和
两个子空间的下确界是它们的交集，而上确界则是它们的和所生成的子空间。这个例子在抽象代数中很有代表性，也体现了格在几何与线性结构中的普遍性。
6 相关理论
6.1 布尔代数
6.1.1 与格的关系
布尔代数可以看作带有补元、并满足特殊分配性质的有界分配格。因而，格论是理解布尔代数的基础框架之一。
6.1.2 补元结构
布尔代数中的每个元素都具有补元，这使其在逻辑、集合和电路理论中尤为重要。补元的存在让结构具有清晰的“正反”对偶关系。
6.2 序理论中的格
6.2.1 下半格与上半格
序理论中常先分别研究上半格和下半格，再将二者结合得到完整的格。这样可以从更弱的条件出发，逐步积累结构性质。
6.2.2 完备性与链条件
完备性关注任意子集的极限行为，而链条件则限制无穷递升或递降序列的复杂度。二者在结构研究中常互相配合，用于判断格的稳定性与可分析性。
6.3 逻辑与计算机科学中的应用
6.3.1 语义分析
在语义分析中，格可用于组织不同语义信息之间的组合关系。较粗的语义信息与较细的语义信息之间，往往可通过上、下确界进行统一处理。
6.3.2 程序分析
程序分析常需要比较程序状态、变量取值范围或控制流信息。格结构提供了一种统一的表示方式，使不同分析结果能够被合并、比较和迭代。
6.3.3 抽象解释
抽象解释是应用格论的重要领域之一。它通过在抽象域上定义格结构，来近似描述程序运行行为，从而在可计算性与精确性之间取得平衡。
6.4 泛代数中的推广
6.4.1 带运算结构
泛代数研究一般代数系统中的运算与公理。格作为典型的带运算结构，常被视为讨论多种代数规律的出发点。
6.4.2 代数系统中的格论方法
格论方法常用于分析代数对象的子结构、理想、同余与分类问题。借助次序和极值思想，可以把复杂代数问题转化为更易处理的结构问题。
7 历史与发展
7.1 早期思想来源
7.1.1 序关系研究
格论的思想可追溯到对次序、分类和层级关系的早期研究。数学家在处理包含、整除、蕴含等关系时，逐渐形成了关于“共同上界”和“共同下界”的抽象认识。
7.1.2 代数化趋势
随着数学逐步强调结构统一，原本分散于集合论、数论和逻辑中的相似现象开始被代数化处理。格正是在这一背景下成为独立而稳定的研究对象。
7.2 现代格论形成
7.2.1 主要概念的系统化
现代格论的发展使上确界、下确界、分配性、模性与完备性等概念得到系统整理。定义的统一化推动了格论成为一门成熟的形式科学分支。
7.2.2 与其他数学分支的融合
格论与抽象代数、拓扑、逻辑和计算机科学逐渐深度结合。它不仅提供了通用语言，也为这些领域中的结构比较与算法分析带来了新的工具。
7.3 影响与应用扩展
7.3.1 数学内部发展
在数学内部，格论促进了对子结构、同余关系、逻辑代数与序结构的研究。许多具体对象都可以通过格的视角重新组织，从而发现统一规律。
7.3.2 跨学科应用
格论还广泛进入信息科学、程序设计、知识表示和系统建模等领域。由于它擅长描述“合并”“约束”“层次”与“极限”关系，因此在处理复杂组织结构时具有很高的通用性。