更新时间：2023-04-05 17:40
格论是抽象代数的分支，研究格的性质。一个格指的是其任意非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。
在抽象代数中，格论是抽象代数的分支，研究格的性质。一个格指的是任意非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。格也可以表示为满足特定公理恒等式的代数结构。因为两个定义是等价的，格论可以从序理论和泛代数两个角度来理解。具体格的例子有海廷代数和布尔代数。
格是一种特殊的偏序集，对其中任意两个元素都可取最小上界( )和最大下界( )。
设L是格，a,b,c L，则：
（交换律）
（结合律）
（幂等律）
设格L中最大元是1，最小元是0。若对任意aL，存在bL，使得,则称b是a的补元，记作a‘，且称L是有补格，有补格中成立德摩根律。若格L中对，对都满足分配律，则称L是分配格。有补的分配格称为布尔代数。布尔代数的基数一定是2的幂，且基数相同的Boole代数同构。