Assertion: algebra's operation | /r/HasProperty | distributes
Facets:
value: like multiplication
type: OTHER
value: like addition
type: OTHER
value: over union
type: TRANSITIVE-OBJECT
Source sentences:
text: Like addition and multiplication, the operations of union and intersection are commutative and associative, and intersection distributes over union.