模格

模格遵守分配律的一种较弱的、有条件的形式——一种在分配律全面失效的丰富代数例子中仍然成立的形式。引发动机的例子是群的子群之格、或模的子模之格：它们一般不是分配的，却满足一条有用的“模”恒等式，支撑着若尔当–赫尔德定理与施赖尔加细定理。

严格地说，格是模的，若它满足模律：对一切 a, b, c，a ≤ c 蕴含 a ∨ (b ∧ c) = (a ∨ b) ∧ c。等价地（作为无条件恒等式）(a ∧ c) ∨ (b ∧ c) = ((a ∧ c) ∨ b) ∧ c。每个分配格都是模的，但反之不然。干净的禁用子格判据是：格是模的，当且仅当它不含五边形 N_5 作为子格；菱形 M_3 是模的但非分配的，标志着两类之间的差距。

模性正是赋予子对象之格以良好性态的结构特征。任意环上任意模的子模格都是模的，群的正规子群格亦然；同构定理本质上就是说这些模格中某些“平行四边形”区间彼此同构的论断。戴德金正是为此孤立出模律，故模格有时称作戴德金格。