Transitive binary relations
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric
Total, Semiconnex Anti-
Equivalence relation Green tickY Green tickY
Preorder (Quasiorder) Green tickY
Partial order Green tickY Green tickY
Total preorder Green tickY Green tickY
Total order Green tickY Green tickY Green tickY
Prewellordering Green tickY Green tickY Green tickY
Well-quasi-ordering Green tickY Green tickY
Well-ordering Green tickY Green tickY Green tickY Green tickY
Lattice Green tickY Green tickY Green tickY Green tickY
Join-semilattice Green tickY Green tickY Green tickY
Meet-semilattice Green tickY Green tickY Green tickY
Strict partial order Green tickY Green tickY Green tickY
Strict weak order Green tickY Green tickY Green tickY
Strict total order Green tickY Green tickY Green tickY Green tickY
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric
Definitions, for all and
Green tickY indicates that the column's property is always true the row's term (at the very left), while indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by Green tickY in the "Symmetric" column and in the "Antisymmetric" column, respectively.

All definitions tacitly require the homogeneous relation be transitive: for all if and then
A term's definition may require additional properties that are not listed in this table.

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor.

Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These lattice-like structures all admit order-theoretic as well as algebraic descriptions.

The sub-field of abstract algebra that studies lattices is called lattice theory.

Definition edit

A lattice can be defined either order-theoretically as a partially ordered set, or as an algebraic structure.

As partially ordered set edit

A partially ordered set (poset)   is called a lattice if it is both a join- and a meet-semilattice, i.e. each two-element subset   has a join (i.e. least upper bound, denoted by  ) and dually a meet (i.e. greatest lower bound, denoted by  ). This definition makes   and   binary operations. Both operations are monotone with respect to the given order:   and   implies that   and  

It follows by an induction argument that every non-empty finite subset of a lattice has a least upper bound and a greatest lower bound. With additional assumptions, further conclusions may be possible; see Completeness (order theory) for more discussion of this subject. That article also discusses how one may rephrase the above definition in terms of the existence of suitable Galois connections between related partially ordered sets—an approach of special interest for the category theoretic approach to lattices, and for formal concept analysis.

Given a subset of a lattice,   meet and join restrict to partial functions – they are undefined if their value is not in the subset   The resulting structure on   is called a partial lattice. In addition to this extrinsic definition as a subset of some other algebraic structure (a lattice), a partial lattice can also be intrinsically defined as a set with two partial binary operations satisfying certain axioms.[1]

As algebraic structure edit

A lattice is an algebraic structure  , consisting of a set   and two binary, commutative and associative operations   and   on   satisfying the following axiomatic identities for all elements   (sometimes called absorption laws):


The following two identities are also usually regarded as axioms, even though they follow from the two absorption laws taken together.[2] These are called idempotent laws.


These axioms assert that both   and   are semilattices. The absorption laws, the only axioms above in which both meet and join appear, distinguish a lattice from an arbitrary pair of semilattice structures and assure that the two semilattices interact appropriately. In particular, each semilattice is the dual of the other. The absorption laws can be viewed as a requirement that the meet and join semilattices define the same partial order.

Connection between the two definitions edit

An order-theoretic lattice gives rise to the two binary operations   and   Since the commutative, associative and absorption laws can easily be verified for these operations, they make   into a lattice in the algebraic sense.

The converse is also true. Given an algebraically defined lattice   one can define a partial order   on   by setting

for all elements   The laws of absorption ensure that both definitions are equivalent:
and dually for the other direction.

One can now check that the relation ≤ introduced in this way defines a partial ordering within which binary meets and joins are given through the original operations   and  

Since the two definitions of a lattice are equivalent, one may freely invoke aspects of either definition in any way that suits the purpose at hand.

Bounded lattice edit

A bounded lattice is a lattice that additionally has a greatest element (also called maximum, or top element, and denoted by   or by  ) and a least element (also called minimum, or bottom, denoted by   or by  ), which satisfy


A bounded lattice may also be defined as an algebraic structure of the form   such that   is a lattice,   (the lattice's bottom) is the identity element for the join operation   and   (the lattice's top) is the identity element for the meet operation  


A partially ordered set is a bounded lattice if and only if every finite set of elements (including the empty set) has a join and a meet. For every element   of a poset it is vacuously true that   and   and therefore every element of a poset is both an upper bound and a lower bound of the empty set. This implies that the join of an empty set is the least element   and the meet of the empty set is the greatest element   This is consistent with the associativity and commutativity of meet and join: the join of a union of finite sets is equal to the join of the joins of the sets, and dually, the meet of a union of finite sets is equal to the meet of the meets of the sets, that is, for finite subsets   and   of a poset  

hold. Taking   to be the empty set,
which is consistent with the fact that  

Every lattice can be embedded into a bounded lattice by adding a greatest and a least element. Furthermore, every non-empty finite lattice is bounded, by taking the join (respectively, meet) of all elements, denoted by   (respectively  ) where   is the set of all elements.

Connection to other algebraic structures edit

Lattices have some connections to the family of group-like algebraic structures. Because meet and join both commute and associate, a lattice can be viewed as consisting of two commutative semigroups having the same domain. For a bounded lattice, these semigroups are in fact commutative monoids. The absorption law is the only defining identity that is peculiar to lattice theory. A bounded lattice can also be thought of as a commutative ring without the distributive axiom.

By commutativity, associativity and idempotence one can think of join and meet as operations on non-empty finite sets, rather than on pairs of elements. In a bounded lattice the join and meet of the empty set can also be defined (as   and   respectively). This makes bounded lattices somewhat more natural than general lattices, and many authors require all lattices to be bounded.

The algebraic interpretation of lattices plays an essential role in universal algebra.[citation needed]

Examples edit

  • For any set   the collection of all subsets of   (called the power set of  ) can be ordered via subset inclusion to obtain a lattice bounded by   itself and the empty set. In this lattice, the supremum is provided by set union and the infimum is provided by set intersection (see Pic. 1).
  • For any set   the collection of all finite subsets of   ordered by inclusion, is also a lattice, and will be bounded if and only if   is finite.
  • For any set   the collection of all partitions of   ordered by refinement, is a lattice (see Pic. 3).
  • The positive integers in their usual order form an unbounded lattice, under the operations of "min" and "max". 1 is bottom; there is no top (see Pic. 4).
  • The Cartesian square of the natural numbers, ordered so that   if   The pair   is the bottom element; there is no top (see Pic. 5).
  • The natural numbers also form a lattice under the operations of taking the greatest common divisor and least common multiple, with divisibility as the order relation:   if   divides     is bottom;   is top. Pic. 2 shows a finite sublattice.
  • Every complete lattice (also see below) is a (rather specific) bounded lattice. This class gives rise to a broad range of practical examples.
  • The set of compact elements of an arithmetic complete lattice is a lattice with a least element, where the lattice operations are given by restricting the respective operations of the arithmetic lattice. This is the specific property that distinguishes arithmetic lattices from algebraic lattices, for which the compacts only form a join-semilattice. Both of these classes of complete lattices are studied in domain theory.

Further examples of lattices are given for each of the additional properties discussed below.

Examples of non-lattices edit

Pic. 8: Non-lattice poset:   and   have common lower bounds   and   but none of them is the greatest lower bound.
Pic. 7: Non-lattice poset:   and   have common upper bounds   and   but none of them is the least upper bound.
Pic. 6: Non-lattice poset:   and   have no common upper bound.

Most partially ordered sets are not lattices, including the following.

  • A discrete poset, meaning a poset such that   implies   is a lattice if and only if it has at most one element. In particular the two-element discrete poset is not a lattice.
  • Although the set   partially ordered by divisibility is a lattice, the set   so ordered is not a lattice because the pair 2, 3 lacks a join; similarly, 2, 3 lacks a meet in  
  • The set   partially ordered by divisibility is not a lattice. Every pair of elements has an upper bound and a lower bound, but the pair 2, 3 has three upper bounds, namely 12, 18, and 36, none of which is the least of those three under divisibility (12 and 18 do not divide each other). Likewise the pair 12, 18 has three lower bounds, namely 1, 2, and 3, none of which is the greatest of those three under divisibility (2 and 3 do not divide each other).

Morphisms of lattices edit

Pic. 9: Monotonic map   between lattices that preserves neither joins nor meets, since       and      

The appropriate notion of a morphism between two lattices flows easily from the above algebraic definition. Given two lattices   and   a lattice homomorphism from L to M is a function   such that for all  


Thus   is a homomorphism of the two underlying semilattices. When lattices with more structure are considered, the morphisms should "respect" the extra structure, too. In particular, a bounded-lattice homomorphism (usually called just "lattice homomorphism")   between two bounded lattices   and   should also have the following property:


In the order-theoretic formulation, these conditions just state that a homomorphism of lattices is a function preserving binary meets and joins. For bounded lattices, preservation of least and greatest elements is just preservation of join and meet of the empty set.

Any homomorphism of lattices is necessarily monotone with respect to the associated ordering relation; see Limit preserving function. The converse is not true: monotonicity by no means implies the required preservation of meets and joins (see Pic. 9), although an order-preserving bijection is a homomorphism if its inverse is also order-preserving.

Given the standard definition of isomorphisms as invertible morphisms, a lattice isomorphism is just a bijective lattice homomorphism. Similarly, a lattice endomorphism is a lattice homomorphism from a lattice to itself, and a lattice automorphism is a bijective lattice endomorphism. Lattices and their homomorphisms form a category.

Let   and   be two lattices with 0 and 1. A homomorphism from   to   is called 0,1-separating if and only if   (  separates 0) and   (  separates 1).

Sublattices edit

A sublattice of a lattice   is a subset of   that is a lattice with the same meet and join operations as   That is, if   is a lattice and   is a subset of   such that for every pair of elements   both   and   are in   then   is a sublattice of  [3]

A sublattice   of a lattice   is a convex sublattice of   if   and   implies that   belongs to   for all elements  

Properties of lattices edit

We now introduce a number of important properties that lead to interesting special classes of lattices. One, boundedness, has already been discussed.

Completeness edit

A poset is called a complete lattice if all its subsets have both a join and a meet. In particular, every complete lattice is a bounded lattice. While bounded lattice homomorphisms in general preserve only finite joins and meets, complete lattice homomorphisms are required to preserve arbitrary joins and meets.

Every poset that is a complete semilattice is also a complete lattice. Related to this result is the interesting phenomenon that there are various competing notions of homomorphism for this class of posets, depending on whether they are seen as complete lattices, complete join-semilattices, complete meet-semilattices, or as join-complete or meet-complete lattices.

"Partial lattice" is not the opposite of "complete lattice" – rather, "partial lattice", "lattice", and "complete lattice" are increasingly restrictive definitions.

Conditional completeness edit

A conditionally complete lattice is a lattice in which every nonempty subset that has an upper bound has a join (that is, a least upper bound). Such lattices provide the most direct generalization of the completeness axiom of the real numbers. A conditionally complete lattice is either a complete lattice, or a complete lattice without its maximum element   its minimum element   or both.[4][5]

Distributivity edit

Pic. 11: Smallest non-modular (and hence non-distributive) lattice N5.  , but   and  , so the modular law is violated.
The labelled elements also violate the distributivity equation   but satisfy its dual  
Pic. 10: Smallest non-distributive (but modular) lattice M3.

Since lattices come with two binary operations, it is natural to ask whether one of them distributes over the other, that is, whether one or the other of the following dual laws holds for every three elements  :

Distributivity of   over  

Distributivity of   over  


A lattice that satisfies the first or, equivalently (as it turns out), the second axiom, is called a distributive lattice. The only non-distributive lattices with fewer than 6 elements are called M3 and N5;[6] they are shown in Pictures 10 and 11, respectively. A lattice is distributive if and only if it does not have a sublattice isomorphic to M3 or N5.[7] Each distributive lattice is isomorphic to a lattice of sets (with union and intersection as join and meet, respectively).[8]

For an overview of stronger notions of distributivity that are appropriate for complete lattices and that are used to define more special classes of lattices such as frames and completely distributive lattices, see distributivity in order theory.

Modularity edit

For some applications the distributivity condition is too strong, and the following weaker property is often useful. A lattice   is modular if, for all elements   the following identity holds:   (Modular identity)
This condition is equivalent to the following axiom:   implies   (Modular law)
A lattice is modular if and only if it does not have a sublattice isomorphic to N5 (shown in Pic. 11).[7] Besides distributive lattices, examples of modular lattices are the lattice of submodules of a module (hence modular), the lattice of two-sided ideals of a ring, and the lattice of normal subgroups of a group. The set of first-order terms with the ordering "is more specific than" is a non-modular lattice used in automated reasoning.

Semimodularity edit

A finite lattice is modular if and only if it is both upper and lower semimodular. For a graded lattice, (upper) semimodularity is equivalent to the following condition on the rank function  


Another equivalent (for graded lattices) condition is Birkhoff's condition:

for each   and   in   if   and   both cover   then   covers both   and  

A lattice is called lower semimodular if its dual is semimodular. For finite lattices this means that the previous conditions hold with   and   exchanged, "covers" exchanged with "is covered by", and inequalities reversed.[9]

Continuity and algebraicity edit

In domain theory, it is natural to seek to approximate the elements in a partial order by "much simpler" elements. This leads to the class of continuous posets, consisting of posets where every element can be obtained as the supremum of a directed set of elements that are way-below the element. If one can additionally restrict these to the compact elements of a poset for obtaining these directed sets, then the poset is even algebraic. Both concepts can be applied to lattices as follows:

Both of these classes have interesting properties. For example, continuous lattices can be characterized as algebraic structures (with infinitary operations) satisfying certain identities. While such a characterization is not known for algebraic lattices, they can be described "syntactically" via Scott information systems.

Complements and pseudo-complements edit

Let   be a bounded lattice with greatest element 1 and least element 0. Two elements   and   of   are complements of each other if and only if:


In general, some elements of a bounded lattice might not have a complement, and others might have more than one complement. For example, the set   with its usual ordering is a bounded lattice, and   does not have a complement. In the bounded lattice N5, the element   has two complements, viz.   and   (see Pic. 11). A bounded lattice for which every element has a complement is called a complemented lattice.

A complemented lattice that is also distributive is a Boolean algebra. For a distributive lattice, the complement of   when it exists, is unique.

In the case that the complement is unique, we write   and equivalently,   The corresponding unary operation over   called complementation, introduces an analogue of logical negation into lattice theory.

Heyting algebras are an example of distributive lattices where some members might be lacking complements. Every element   of a Heyting algebra has, on the other hand, a pseudo-complement, also denoted   The pseudo-complement is the greatest element   such that   If the pseudo-complement of every element of a Heyting algebra is in fact a complement, then the Heyting algebra is in fact a Boolean algebra.

Jordan–Dedekind chain condition edit

A chain from   to   is a set   where   The length of this chain is n, or one less than its number of elements. A chain is maximal if   covers   for all  

If for any pair,   and   where   all maximal chains from   to   have the same length, then the lattice is said to satisfy the Jordan–Dedekind chain condition.

Graded/ranked edit

A lattice   is called graded, sometimes ranked (but see Ranked poset for an alternative meaning), if it can be equipped with a rank function   sometimes to  , compatible with the ordering (so   whenever  ) such that whenever   covers   then   The value of the rank function for a lattice element is called its rank.

A lattice element   is said to cover another element   if   but there does not exist a   such that   Here,   means   and  

Free lattices edit

Any set   may be used to generate the free semilattice   The free semilattice is defined to consist of all of the finite subsets of   with the semilattice operation given by ordinary set union. The free semilattice has the universal property. For the free lattice over a set   Whitman gave a construction based on polynomials over  's members.[10][11]

Important lattice-theoretic notions edit

We now define some order-theoretic notions of importance to lattice theory. In the following, let   be an element of some lattice     is called:

  • Join irreducible if   implies   for all   If   has a bottom element   some authors require  .[12] When the first condition is generalized to arbitrary joins     is called completely join irreducible (or  -irreducible). The dual notion is meet irreducibility ( -irreducible). For example, in Pic. 2, the elements 2, 3, 4, and 5 are join irreducible, while 12, 15, 20, and 30 are meet irreducible. Depending on definition, the bottom element 1 and top element 60 may or may not be considered join irreducible and meet irreducible, respectively. In the lattice of real numbers with the usual order, each element is join irreducible, but none is completely join irreducible.
  • Join prime if   implies   Again some authors require  , although this is unusual.[13] This too can be generalized to obtain the notion completely join prime. The dual notion is meet prime. Every join-prime element is also join irreducible, and every meet-prime element is also meet irreducible. The converse holds if   is distributive.

Let   have a bottom element 0. An element   of   is an atom if   and there exists no element   such that   Then   is called:

  • Atomic if for every nonzero element   of   there exists an atom   of   such that  [14]
  • Atomistic if every element of   is a supremum of atoms.[15]

However, many sources and mathematical communities use the term "atomic" to mean "atomistic" as defined above.[citation needed]

The notions of ideals and the dual notion of filters refer to particular kinds of subsets of a partially ordered set, and are therefore important for lattice theory. Details can be found in the respective entries.

See also edit

Applications that use lattice theory edit

Note that in many applications the sets are only partial lattices: not every pair of elements has a meet or join.

Notes edit

  1. ^ Grätzer 2003, p. 52.
  2. ^ Birkhoff 1948, p. 18. "since   and dually". Birkhoff attributes this to Dedekind 1897, p. 8
  3. ^ Burris, Stanley N., and Sankappanavar, H. P., 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2.
  4. ^ Baker, Kirby (2010). "Complete Lattices" (PDF). UCLA Department of Mathematics. Retrieved 8 June 2022.
  5. ^ Kaplansky, Irving (1972). Set Theory and Metric Spaces (2nd ed.). New York City: AMS Chelsea Publishing. p. 14. ISBN 9780821826942.
  6. ^ Davey & Priestley (2002), Exercise 4.1, p. 104.
  7. ^ a b Davey & Priestley (2002), Theorem 4.10, p. 89.
  8. ^ Davey & Priestley (2002), Theorem 10.21, pp. 238–239.
  9. ^ Stanley, Richard P (1997), Enumerative Combinatorics (vol. 1), Cambridge University Press, pp. 103–104, ISBN 0-521-66351-2
  10. ^ Philip Whitman (1941). "Free Lattices I". Annals of Mathematics. 42 (1): 325–329. doi:10.2307/1969001. JSTOR 1969001.
  11. ^ Philip Whitman (1942). "Free Lattices II". Annals of Mathematics. 43 (1): 104–115. doi:10.2307/1968883. JSTOR 1968883.
  12. ^ Davey & Priestley 2002, p. 53.
  13. ^ Hoffmann, Rudolf-E. (1981). Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications. Continuous Lattices. Vol. 871. pp. 159–208. doi:10.1007/BFb0089907.
  14. ^ Grätzer 2003, p. 246, Exercise 3.
  15. ^ Grätzer 2003, p. 234, after Def.1.

References edit

Monographs available free online:

Elementary texts recommended for those with limited mathematical maturity:

  • Donnellan, Thomas, 1968. Lattice Theory. Pergamon.
  • Grätzer, George, 1971. Lattice Theory: First concepts and distributive lattices. W. H. Freeman.

The standard contemporary introductory text, somewhat harder than the above:

Advanced monographs:

On free lattices:

On the history of lattice theory:

On applications of lattice theory:

  • Garrett Birkhoff (1967). James C. Abbot (ed.). What can Lattices do for you?. Van Nostrand. Table of contents

External links edit