In domain theory, a partially ordered set in which all finite subsets have a least upper bound and greatest lower bound. See also complete lattice.