наверх
«Кто хочет работать — ищет средства, кто не хочет — причины»
- Сергей Павлович Королёв
Определение Моноид

Непустое множество 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)\)