9 Lattice (mathematics)

A lattice is a partially ordered set (poset) in which every two elements have a supremum and an infimum.

A bounded lattice has least and greatest elements.