1679
правок
Изменения
Нет описания правки
|definition=
Кортеж <tex>\langle G,\cdot: G \times G \to G, \varepsilon \in G \rangle</tex> называется [[моноид|моноидом]], если он удовлетворяет следующим аксиомам:
* Бинарная операция <tex>\cdot</tex> — определена везде и [[Ассоциативность Ассоциативная операция | ''ассоциативна'']].
* <tex>\varepsilon</tex> называется нейтральным элементом относительно <tex>\cdot</tex>, то есть для него выполняется:
: <tex> \forall x\in G : \varepsilon\cdot x=x \cdot \varepsilon = x</tex>. Иногда его обозначают <tex> \varepsilon_G </tex>, или <tex>e_G </tex>.
