Дистрибутивна ґратка

Дистрибутивна ґратка — ґратка, в якій справедлива тотожність

${\displaystyle (a+b)c=ac+bc}$

рівносильна тотожності

${\displaystyle ab+c=(a+c)(b+c)}$

та

${\displaystyle (a+b)(a+c)(b+c)=ab+ac+bc}$