数学における半群（はんぐん、）は集合 "S" とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマのことをいう。半群の名は、既存の群の概念に由来するものである。半群は、各元が必ずしも逆元を持たないこと（さらに、単位元すら持たないかもしれないこと）が、群と異なる。半群の演算はほとんど乗法的に書かれる（順序対 ("x

出典:wikipedia