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 LUb c) glb (a LUb b) and vice versa. ("LUb" and "glb" are written in LateX as sqcup and sqcap). (1998-11-09)