A lattice is a partial ordering of a set under a relation where all finite subsets have a least upper bound and a greatest lower bound . A complete lattice also has these for infinite subsets. Every finite lattice is complete. Some authors drop the requirement for greatest lower bound s.
(1994-12-02)