In the context of mathematics, specifically in the area of abstract algebra, a **lattice** is a partially ordered set (poset) in which any two elements have a unique supremum (least upper bound, also called join) and an infimum (greatest lower bound, also called meet).
New to topics? Read the docs here!