Определение. Группоиды с ассоциативной операцией называются полугруппами

Группоиды с ассоциативной операцией называются полугруппами.

Теория полугрупп является одной из наиболее содержательных областей общей алгебры. Если полугруппа содержит единичный элемент, то она называется полугруппой с единицей, ее единичный элемент называется единицей полугруппы. Примером полугруппы является множество, N₀ по отношению к сложению, а так же по отношению к умножению.(N₀ = N 0).

Группы