Complete Lattice

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