Lattices are partially ordered sets such that for any two elements $$x$$, $$y$$ there is a supremum $$x\vee y$$ and infimum $$x\wedge y$$ of the set $$\{x,y\}$$. Lattice theory is an important subfield of order theory.