Assertion: intersection | /r/HasProperty | universal set
Facets:
Source sentences:
text: So the intersection of the empty family should be the universal set (the identity element for the operation of intersection)