You are here: irt.org | FOLDOC | 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)

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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL