Assertion: set's element | /r/HasProperty | subset
Facets:
value: precisely
type: DEGREE
Source sentences:
text: Axiom of power set: For any set x there exists a set y , such that the elements of y are precisely the subsets of x .
text: Power Set: For every set \(A\) there exists a set, denoted by \(\mathcal{P}(A)\) and called the power set of \(A\), whose elements are all the subsets of \(A\).
text: there exists a set , such that the elements of are precisely the subsets of .