Assertion: set | /r/HasProperty | the same
Facets:
value: axiom of extensionality
type: OTHER
Source sentences:
text: Axiom of extensionality: Two sets are the same if they have the same elements.