Моноид
Моноид — полугруппа с нейтральным элементом. Более подробно, моноидом называется множество formula_1, на котором задана бинарная ассоциативная операция, обычно именуемая "умножением", и в котором существует такой элемент formula_2, что formula_3 для любого formula_4.
Элемент formula_2 называется единицей и часто обозначается formula_6.
В любом моноиде имеется ровно одна единица.

Моноиды возникают в различных областях математики; например, моноиды можно рассматривать как категории из одного объекта. Таким образом, моноиды обобщают свойства композиции функций. Также моноиды используются в информатике и в теории формальных языков.
Q207348
полугруппа
Concept
Q185813
нейтральным элементом
Concept
Q36161
множество
Concept
Q164307
бинарная
Concept
Q177251
ассоциативная операция
Concept
Q395
математики
Concept
Q217413
категории
Concept
Q11348
функций
Concept
Q21198
информатике
Concept
Q192161
формальных языков
Concept
Q208237
Моноид
Concept
Q208237
Моноид
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+6^^http://www.w3.org/2001/XMLSchema#decimal
6
NUMBER
subclass of
has quality
studies
part of