A lattice is a system such that , , and if and , then , where here means ``is included in.'' Lattices offer a natural way to formalize and study the ordering of objects using a general concept known as the Poset (partially ordered set). The study of lattices is called Lattice Theory. Note that this type of lattice is an abstraction of the regular array of points known as Lattice Points.

The following inequalities hold for any lattice:

(Grätzer 1971, p. 35). The first three are the distributive inequalities, and the last is the modular identity.

**References**

Grätzer, G. *Lattice Theory: First Concepts and Distributive Lattices.*
San Francisco, CA: W. H. Freeman, 1971.

© 1996-9

1999-05-26