Assertion: ring | /r/HasProperty | defined on same elements
Facets:
Source sentences:
text: If two rings of sets are both defined on the same elements, then the sets that belong to both rings themselves form a ring of sets.