Множество М с заданной на нем бинарной ассоциативной операцией f2 называется полугруппой <М, f2>. Пусть S полугруппа на алгебраической структуре с f2 ≡ *. Подмножество S' S называется подполугруппой, если а*b S' для всех а,b S', тогда подмножество S' замкнуто относительно операции *.
Моноид
Полугруппа с единичным (нейтральным элементом) принято называть моноидом или просто полугруппой с единицей. Мощность моноида, как множества обозначается | М | или Card М.