А при чём здесь название операции?

Что такое моноид? Это алгебра с ассоциативной бинарной операцией и имеющая нейтральный элемент относительно этой операции.

http://ru.wikipedia.org/wiki/%D0%9C%D0%BE%...%BE%D0%B8%D0%B4

Хоть горшком эту операцию назови, лишь бы свойства нужные были.