A partially ordered set $(L, \preceq)$ is called a lattice if each two element subset has a least upper bound and greatest lower bound.