Assertion: union | /r/HasProperty | empty set
Facets:
Source sentences:
text: Also, if M is the empty collection, then the union of M is the empty set.