分配格

分配格設〈A,,〉是由格〈A,〉所誘導的代數系統。如果對任意的a,b,cA,滿足a(bc)=(ab)(ac)和a(bc)=(ab)(ac),則稱〈A,〉是分配格。