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