#monoid #identity element #identity property #abstract algebra #neutral element #binary operation