power domain

Short definition from Wiktionary

Noun

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

We haven’t written up power domain yet: Simple and Standard meanings, examples and a quiz.