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)

("lub" and "glb" are written in LateX as \sqcup and \sqcap).

Nearby terms:
distributed system « distributed systems « distribution « distributive lattice » disusered » dithering » Ditto Drive