modularność i dystrybutywność kraty

[qaz]

Jak można zapisać ogólnie warunek na modularność/dystrybutywność kraty za pomoc z góry dziękuję

[bartek87]

jeśli \(\displaystyle{ \Lambda =(A;\cdot ,+)}\) jest kratą to

modulalność: \(\displaystyle{ x(y+z)=xy+xz}\) oraz \(\displaystyle{ x+yz=(x+y)(x+z)}\)
dystrybutywność: \(\displaystyle{ x(xy+z)=xy+xz}\) oraz \(\displaystyle{ x+(x+y)z=(x+y)(x+z)}\)

dla uproszczenia przyjmuje \(\displaystyle{ x y=xy}\)