Eine algebraische Struktur (M, *) ist eine Halbgruppe, wenn die Verknüpfung * abgeschlossen (siehe abgeschlossene Verknüpfung) und assoziativ (siehe assoziative Verknüpfung) ist.