Моноид без нулевой суммы


В абстрактной алгебре аддитивный моноид называется ненулевым , коническим , бесцентровым или положительным, если сумма ненулевых элементов не равна нулю. Формально:

Это означает, что единственный способ выразить ноль в виде суммы — это .