Theorems in lattice theory

In lattice theory, which is a branch of abstract algebra, a lattice is a partially ordered set (poset) in which any two elements have a unique supremum (least upper bound) and an infimum (greatest lower bound). Theorems in lattice theory often deal with the properties and relationships of these structures.