1. матем. алгебра, сигнатура которой состоит из одной бинарной ассоциативной операции, относительно которой существует нейтральный элемент

Источник: Wiktionary.org