Assertion: graph's value | /r/HasProperty | the sum of the values
Facets:
value: for all two graphs
type: OTHER
Source sentences:
text: A graph invariant is additive if, for all two graphs G and H , the value of the invariant on the disjoint union of G and H is the sum of the values on G and on H .
text: if, for all two graphs and , the value of the invariant on the disjoint union of and is the sum of the values on and on .