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 bounds.