$ \text{Groupe} \begin{cases} \text{Monoïde} \begin{cases} \text{Magma} \begin{cases} (E,+) \end{cases} \text{Ensemble E muni d’une loi de composition interne +} \\ \text{associativité : } {(x+y)+z=x+(y+z)} \\ \text{Élément neutre e : } {x + e = e + x = x} \end{cases} \\ \text{tout élément admet un symétrique : } {x +(-x)=(-x)+x=0}\ \end{cases}$