Assertion: set's subset | /r/HasAspect | finite complement
Facets:
Source sentences:
text: S is the set of all subsets of S that have finite complement.