distributive latticeA {lattice} for which the {least upper bound} (lub) and {greatest lower bound} (glb) operators distribute over one another so that a lub (b glb c) == (a lub c) glb (a lub b) and vice versa. ("lub" and "glb" are written in {LateX} as {\sqcup} and {\sqcap}). (1998-11-09)