什麼是半群

半群是一種數學結構，由一個非空集合和該集合上定義的一個二元運算組成。

這個二元運算滿足封閉性和結合律，即對於集合中的任意兩個元素進行運算的結果仍然屬於該集合。半群是最簡單、最自然的一類代數系統，是群的推廣和環的推廣。在理論計算機科學和純數學等領域有著廣泛的套用。