分配格:一种格(lattice)结构,满足“分配律”,即对任意元素 (a,b,c),有
(a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)) 且 (a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c))。
(常见于离散数学、抽象代数与序理论中;“格”指带有并 (\vee) 与交 (\wedge) 运算的偏序结构。)
/dɪˈstrɪbjətɪv ˈlætɪs/
A Boolean algebra is a distributive lattice.
布尔代数是一种分配格。
In a distributive lattice, join and meet interact predictably, which simplifies proofs about ideals and filters.
在分配格中,并与交的相互作用更“可预测”,这会简化关于理想与滤子的证明。
distributive 来自拉丁语 distribuere(“分配、分开给予”),在数学里指“满足分配律的”。lattice 原指“格子/网格结构”(经由法语进入英语),在数学中借用来表示一种由元素“交织”成结构的有序系统(格论中的“格”)。