}}
Тривиальный * тривиальный пример образуют : множество <tex> S = \{\varnothing\} </tex> и операция <tex> \cup </tex>. Тогда <tex> S^* \equiv = \{\varnothing\} </tex>, что, очевидно, является моноидом с операцией <tex>\cup</tex>. Другой пример: * <tex> S = \{0, 1\} </tex>, операция {{---}} сложение. Тогда <tex>S^* \equiv = \mathbb{N} \cup \{0\} </tex>, так как любое натуральное число является либо нулем, либо суммой конечного числа единиц.
Дадим теперь более формальное определение.
