Assertion: set | /r/HasProperty | two sets
Facets:
value: with no elements in them
type: OTHER
Source sentences:
text: We first assume that the empty set is not unique, that there are two sets with no elements in them, and then use a few properties from set theory to show that this assumption implies a contradiction.