An algebraic, boundedly complete, complete partial order. Often simply called a domain.
(1994-11-01)
Try this search on Wikipedia, OneLook, Google
