complete lattice

partially ordered set in which all subsets have both a supremum and infimum