Showing the Français version because no English translation exists yet. Add that translation.FrançaisFrançaisAdd translationDéfinition formelle Un sous-magma d’un magma (M,⋆)(M,\star)(M,⋆) est une partie A⊆MA\subseteq MA⊆M qui est stable pour la loi ⋆\star⋆, c’est-à-dire :∀x,y∈A,x⋆y∈A.\forall x,y\in A,\quad x\star y\in A.∀x,y∈A,x⋆y∈A. Problems using this concept (1)C’est chaud pour Lagrange.Problems using this concept (spoiler) (0)No listed problems use this concept as a spoiler yet.