Demi-groupe

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.
Ver en Wikipedia.org