Source : Free On-Line Dictionary of Computing

distributive lattice
     
         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)