Assertion: equality | /r/HasProperty | based on first-order logic
Facets:
value: with equality
type: OTHER
Source sentences:
text: Set equality based on first-order logic with equality [ edit ]
text: Set equality based on first-order logic without equality [ edit ]