Maintenant, nous allons parler de sous-groupe. On va marquer la définition telle quelle. Soient (G, *) un groupe, H ∈ B(G). On dit que H est un sous groupe de G si et seulement si ∀ x, y ∈ H, x * y ∈ H, e ∈ H, ∀ x ∈ H, x-1 ∈ H.