В абстрактной алгебре аддитивный моноид называется ненулевым , коническим , бесцентровым или положительным, если сумма ненулевых элементов не равна нулю. Формально:(М,0,+){\displaystyle (M,0,+)}
Это означает, что единственный способ выразить ноль в виде суммы — это .0+0{\displaystyle 0+0}