Assertion: ring's set | /r/HasProperty | distributive
Facets:
value: with respect to the first operation
type: OTHER
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