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