An algebraic, boundedly complete, complete partial order. Often simply called a domain.