Обсуждение:Моноид

>>тривиальный пример: множество [math] S = \varnothing [/math]. Тогда [math] S^* = \{\varnothing\} [/math]

разве там не [math] S^* = \varnothing [/math] ?

Нет, все ок. [math]S^*[/math] содержит последовательности, которые можно набрать элементами из [math]S[/math]. Можно набрать только пустую последовательность, хотя бы её всегда можно набрать, так что не должно быть просто [math] S^* = \varnothing [/math]. Дмитрий Коваников 18:21, 22 января 2015 (GST)

Множество N с умножением же должно являться моноидом, в N же нет 0?