RhymeZone: powerdomain definitions

Definitions of powerdomain:

noun: Alternative form of power domain [(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.]

(Definitions from Wiktionary)