Content-Type: text/html
If every nonempty finite subset of a partially ordered set has a least upper bound and a greatest lower bound then it is called a lattice.