Assertion: ring | /r/HasProperty | a family of sets
Facets:
Source sentences:
text: A semi-ring (of sets) is a family of sets