Моноид

Непустое множество M с заданной на нём бинарной операцией * – \((M, *)\) называется моноидом , если выполнены следующие аксиомы:

1. ассоциативность: \(\forall (a, b, c\in M): (a*b)*c = a*(b*c)\)
2. наличие нейтрального элемента: \(\exists e \in M \quad \forall a \in M:(e*a=a*e=a)\)