алгебра, сигнатура которой состоит из одной бинарной ассоциативной операции
по̀лугру́п(п)а
Например, мультипликативная полугруппа натуральных чисел, конечно, не являющаяся группой, есть подполугруппа мультипликативной группы всех положительных рациональных чисел.