Моноїд
З Вікіпедії, безкоштовно encyclopedia
Моноїд — це алгебрична структура з бінарною операцією, що є асоціативною та має нейтральний елемент. Стисліше, моноїд — це напівгрупа з нейтральним елементом.
Якщо для всіх елементів моноїда існує обернений елемент тоді це група.