Power domains
（重定向自Powerdomain）
In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.
The idea of power domains for functions is that a nondeterministic function may be described as a deterministic set-valued function, where the set contains all values the nondeterministic function can take for a given argument. For concurrent systems, the idea is to express the set of all possible computations.