Assertion: set | /r/HasProperty | an identity element
Facets:
value: for the union of sets
type: TRANSITIVE-OBJECT
value: for the operation of union
type: PURPOSE
Source sentences:
text: The empty set is an identity element for the operation of union.
text: The empty set is the identity element for the union of sets.