up::[[structure algébrique]]
title::"ensemble muni d'une [[loi de composition interne|lci]] [[associativité|associative]]"
#s/maths/algèbre 

----
Soit un ensemble $E$, et $*$ une [[loi de composition interne]] sur $E$.
$(E, *)$ est un _semi-groupe_ ssi :
 - $*$ est [[associativité|associative]] dans $E$

Un _semi-groupe_ qui possède un élément neutre est un [[monoïde]]