在本節中，我們定義了一個簡單的數學系統，它由一個集合和一個二元運算組成，該運算具有許多重要的應用。
令 (A,*) 為代數結構，其中 * 是 A 上的任何二元運算。那麼，系統 (A,*) 是半群，如果它滿足以下性質：1. 運算 * 是 A 集合上的封閉運算。 2. 運算 * 是一個結合運算。
