Def. Алгебраическая система с одной бинарной операцией, на которой выполнены свойства 1,2 - называется полугруппой; свойства 1,2,5 - коммутативной полугруппой; свойства 1,2,3 - полугруппой с единицей. алгебраическиесистемы