1. Scott domain An algebraic, boundedly complete, complete partial order. Often simply called a domain.
scott domain |