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

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