格數學，簡稱「格論」，是一種特殊的偏序集，其特點是集合中的任意兩個元素都可以找到上確界和下確界。在數學中，格論的套用非常廣泛，涵蓋了代數學、射影幾何學、集合論、數理邏輯、泛函分析、機率論等多個分支。例如，在代數學中，可以研究群及其子群格的關係；在數理邏輯中，可以探討不可解度的研究。
格也可以被視為一種特殊的代數結構，滿足特定的公理恆等式。這種定義與序理論和泛代數都有關聯，使得格理論成為連線這兩個領域的橋梁。此外，格論與布爾代數有著密切的聯繫，布爾代數是格論的一個特例，其在計算機科學中有著廣泛的套用，如有限自動機理論、開關網路理論、邏輯設計等領域都直接套用了格和布爾代數的理論。
總的來說，格論是一個深入研究偏序集理論及其在各個數學領域套用的分支，它不僅為其他數學領域提供了工具，也為計算機科學等領域提供了理論基礎。