A 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 glb c) lub (a glb b)and vice versa.
("lub" and "glb" are written in LateX as \sqcup and \sqcap).
(03 Feb 1995)