A lattice for which the least upper bound (lub) and greatest lower bound (glb) operators distribute over one another so thata 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)