Assertion: set | /r/HasProperty | subsets of a given set u
Facets:
Source sentences:
text: When all sets under consideration are considered to be subsets of a given set U, the absolute complement of A is the set of elements in U but not in A.