$ \small{\text{Corps} \begin{cases}\text{Anneau} \begin{cases} \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 de + } {0_E : } \; {x + 0_E = 0_E + x = x} \end{cases} \\ \text{Tout élément admet un symétrique : } {x +(-x)=(-x)+x=0}\ \end{cases} \\ \text{Commutativité de + : } {x+y=y+x} \\ \text{Ensemble E muni d’une loi de composition interne .} \\ \text{Associativité de . : } {(x.y).z=x.(y.z)} \\  \text{Distributivité de . par rapport à + : }  {x.(y+z)=x.y+x.z}  \\ \text{Élément neutre de . } {1_E : } \; {x.1_E = 1_E.x = x} \end{cases} \\ \text{E n’est pas réduit à {0} et ainsi : } {1 \neq 0} \\ \text{Tout élément de E – {0} admet un inverse} \end{cases}}$