distributive lattice

from The Free On-line Dictionary of Computing (8 July 2008)

distributive lattice

   <theory> 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)