An algebraic, boundedly complete, complete partialorder. Often simply called a domain.