分类:格论

具有一定结构的序满足特定的代数结构公理，即格及各种相关代数系统。格论即为通过这些代数系统理论分析序理论结构的分支。