In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations. In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.