1. (в алгебрі) алгебрична структура з бінарною операцією, яка є асоціативною та має нейтральний елемент; наприклад, множина натуральних чисел з операцією додавання та нейтральним елементом 0.
2. (в теорії категорій) категорія з єдиним об’єктом; будь-який моноїд (у значенні 1) можна розглядати як таку категорію.