Zerosumfree monoid

In abstract algebra, an additive monoid formula_1 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 formula_3.