lattice

theory A partially ordered set in which all finite subsets

have a least upper bound and greatest lower bound.

This definition has been standard at least since the 1930s and

probably since Dedekind worked on lattice theory in the 19th

century; though he may not have used that name.

See also complete lattice, domain theory.

(1999-12-09)