---
up: "[[structure algébrique]]"
tags: "#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]]