Assertion: algebra's set | /r/HasProperty | the same
Facets:
Source sentences:
text: This follows from the axiom of extensionality , which says two sets are the same if and only if they have the same members.