Concept history

Concept created

##### Définition formelle

Un sous-magma d'un [[magma-fr|magma]] $(M,\star)$ est une [[Sous-ensemble|partie]] $A\subseteq M$ qui est stable pour la loi $\star$, c'est-à-dire :
$$\forall x,y\in A,\quad x\star y\in A.$$