Assertion: ring's set | /r/CapableOf | form a ring of sets
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.