Assertion: ring's set | /r/HasProperty | associative
Facets:
value: over the set
type: LOCATION
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