In abstract algebra, more general structures are defined by relaxing some of the axioms defining a group. What type of numbers under addition form a monoid