Моноид — полугруппа с нейтральным элементом. Таким образом, моноидом называется множество , на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует такой элемент , что для любого . Элемент называется единицей и часто обозначается . В любом моноиде имеется ровно одна единица. Если заданная в моноиде операция коммутативна, то ее часто называется сложением, а единицу — нулем моноида и обозначают .
Моноид — полугруппа с нейтральным элементом. Таким образом, моноидом называется множество , на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует такой элемент , что для любого . Элемент называется единицей и часто обозначается . В любом моноиде имеется ровно одна единица. Если заданная в моноиде операция коммутативна, то ее часто называется сложением, а единицу — нулем моноида и обозначают .