Abstract Algebra/Lattice theory

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