#monoid #addition monoid #natural numbers with zero #identity element #abstract algebra example #number theory