Assertion: function's domain | /r/HasProperty | the power set of x
Facets:
Source sentences:
text: This makes f[.] a function whose domain is the power set of X (the set of all subsets of X), and whose codomain is the power set of Y. See Notation below.