olemus
võre, mille suvaliste elementide a, b ja c korral
kehtivad distributiivsuse seadused
inf(a, sup(b, c)) = inf(sup(a, b), sup(a,c))
sup(a, inf(b, c)) = sup(inf(a, b), inf(a,c)) ,
kus
inf tähendab alaraja ja sup ülaraja
=
a lattice in which the operations of join and meet
distribute over each other:
a lattice L is distributive when L satisfies
x ∧ (y ∨ z) ≈ (x ∧ y) ∨ (x ∧ z).

ülevaateid
https://en.wikipedia.org/wiki/Distributive_lattice

https://math.chapman.edu/~jipsen/structures/doku.php?id=distributive_lattices

https://wordpress.nmsu.edu/hardingj/files/2019/10/ESSLLI2.pdf

vt ka
- distributiivloogika
- distributiivsus