格论

格论是抽象代数的分支，研究格的性质。一个格指的是其任意非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。在抽象代数中，格论是抽象代数的分支，研究格的性质。一个格指的是任意非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。格也可以表示为满足特定公理恒等式的代数结构。因为两个定义是等价的，格论可以从序理论和泛代数两个角度来理解。具体格的例子有海廷代数和布尔代数。