指一具分配性的晶格，即其最低上界（lub）和最高下界（glb）二运算子具有分配性。通常可用数学式表示如下：
A lub (B glb C)＝(A glb C) lub (A glb B)
A glb (B lub C)＝(A lub C) glb (A lub B)
nbsp;