lattices-1.5.0: Fine-grained library for constructing and manipulating lattices
In mathematics, a lattice is a partially ordered set in which every two elements have a unique supremum (also called a least upper bound or join
) and a unique infimum (also called a greatest lower bound or meet
).