Zerosumfree monoid
In abstract algebra, an additive monoid  is said to be zerosumfree, conical, centerless or positive if nonzero elements do not sum to zero. Formally:

This means that the only way zero can be expressed as a sum is as . References 
 

Semigroup theory