Assertion: set | /r/HasProperty | intersected with empty set
Facets:
Source sentences:
text: The Intersection Property of the Empty Set says that any set intersected with the empty set gives the empty set.