power domain

Noun

 * 1)  A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.