Assertion: addition | /r/Synonym | tropical multiplication
Facets:
value: in this context
type: OTHER
Source sentences:
text: In this context, addition is called "tropical multiplication", maximization is called "tropical addition", and the tropical "additive identity" is negative infinity.