分配格

維基百科,自由的百科全書
跳至導覽 跳至搜尋

是一個,若對於任意的


則稱分配格

上述兩個等式互為對偶式,根據的對偶原理,在證明一個格是分配格時只需證明其中任意一個等式即可。

是一個為分配格若且唯若對於任意的,若,則

參見[編輯]