An algebraic, boundedly complete, complete partial order. Often simply called a domain.
(01 Nov 1994)