Полугруппа

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

 


» Терминология