Assertion: complement | /r/HasProperty | null set
Facets:
Source sentences:
text: The intersection of a set and its complement is the null set.