Halbgruppe

eine mit (H, ∘) bezeichnete algebraische Struktur, die aus einer Menge H von Elementen gebildet wird, für die eine assoziative zweistellige Verknüpfung (∘) definiert ist; für beliebige Elemente a, b ∊ H existiert in einer Halbgruppe also stets genau ein zur Menge H gehörendes Element d mit a ∘ b