A lattice is a poset such that each pair of elements has a unique least upper bound and a unique greatest lower bound.
