En mathématiques, un demi-groupe (ou semi-groupe ) est l`une des structures algébriques utilisées en algèbre générale. C`est un ensemble muni d`une loi de composition interne associative. Autrement dit, c`est un magma associatif. Il est dit commutatif si sa loi est de plus commutative.