Complete-lattice definition

(algebra) A partially ordered set in which all subsets have both a supremum (join) and an infimum (meet).