Assertion: ring's set | /r/HasProperty | closed under two binary operations
Facets:
Source sentences:
text: 11 : a set of mathematical elements that is closed under two binary operations of which the first forms a commutative group with the set and the second is associative over the set and is distributive with respect to the first operation