格论
格论论述次序及包含的性质，是布尔代数的推广，现已成为代数的重要组成部分，并在泛函分析、赋值论、几何、逻辑、计算机科学、图论等方面有广泛的应用。所谓格即指在集合L中定义两个代数运算∨和∧，这两个代数运算满足：(1)a∨a = a , a∧ a = a（幂等律）;(2)a ∨ b = b ∨ a,a ∧ b=b ∧ a（交换律）;(3)a ∨交换律；(3)a ∨ (b ∨ c) = (a ∨ b) ∨c,a ∧ b(b ∧ c)=(a∧b) ∧ c（结合律）;(4)a ∨ (a ∧b)=a,a ∧ (a∨ b)=a（吸收律），记作(L,≤)。格论中最重要的概念是集合上的半序关系。格的种类有分配格、模格、完全格等。