Verknüpfungen/Halbgruppe/Definition
Halbgruppe
Eine
Halbgruppe
ist eine Menge
M
{\displaystyle {}M}
zusammen mit einer
assoziativen
Verknüpfung
∘
:
M
×
M
⟶
M
.
{\displaystyle \circ \colon M\times M\longrightarrow M.}