acronym for partially ordered set. If every pair of elements has a greatest lower bound and a least upper bound under this ordering, the poset is a lattice.