Изменения
→Примеры: добавлено, что натуральные числа с нейтральным нулём -- не моноид
* множество натуральных чисел <tex> \mathbb{N} </tex> с операцией сложения является моноидом <tex>\langle \mathbb{N}, +, 0 \rangle</tex>
* множество положительных целых <tex> \mathbb{Z}_+ </tex> с операцией умножения является моноидом <tex>\langle\mathbb{Z}_+, \cdot, 1 \rangle</tex>
* множество натуральных числел '''не''' с операцией умножения является моноидом по умножению <tex>\langle \mathbb{N}, \cdot, 1 \rangle</tex> с нейтральным элементом <tex>1</tex>, так как (наличие нуля не мешает этой структуре быть моноидом: <tex>1 \cdot 0 = 0</tex>, а не как того и требует аксиома нейтрального элемента), но тройка <tex>1\langle \mathbb{N}, \cdot, 0 \rangle</tex>, как того требует аксиома нейтрального элементамоноидом уже не является.
== Свойства ==
