半模格

格论是代数学的一个分支，19世纪，数学家George Boole，Charles S.Peirce和Ernst Schroder等推动了它的产生与发展。半模格也叫做“次模格”，是指可以用维函数刻画的一类重要格。格的实际例子的一项重要来源就是基于考虑把各种各样的点集、线集和平面集等看做几何结构，例如，我们从投影发生率几何学中发现了完备模格；平面格或者几何闭子空间。半模格最初源于满足一个特定性质的闭算子，这个性质现在叫做Steinitz-Mac Lane交换性质。