Verknüpfungen/Halbgruppe/Definition

Halbgruppe

Eine Halbgruppe ist eine Menge ${}M$ zusammen mit einer assoziativen Verknüpfung

$\circ \colon M\times M\longrightarrow M.$