In mathematics, particularly in order theory, a **lattice** is a specific type of algebraic structure that is a partially ordered set (poset) with unique least upper bounds (suprema or joins) and greatest lower bounds (infima or meets) for any two elements.