Noun
power domain (plural power domains) English Wikipedia has an article on:power domainWikipedia (denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.