Assertion: power set | /r/HasAspect | cardinal
Facets:
Source sentences:
text: And this in turn means that the "power set" of S has cardinal at most ||
text: Assuming S itself has cardinal κ , the "power set" must then have cardinal