Seja (G,å) um grupo e seja M um subconjunto não vazio do conjunto G. Dizemos que (M, å) é um subconjunto de (G,å) se, e somente se: M é aberto pa...

Seja (G,å) um grupo e seja M um subconjunto não vazio do conjunto G. Dizemos que (M, å) é um subconjunto de (G,å) se, e somente se: M é aberto para a lei de composição interna de G, ou seja, para qualquer operação efetuada em (M,å), o resultado estará no conjunto M, e se (M,å) também é um conjunto. M é aberto para a lei de composição interna de G, ou seja, para qualquer operação efetuada em (M,å), o resultado estará no subconjunto M, e se (M,å) também é um grupo. M é fechado para a lei de composição interna de G, ou seja, para qualquer operação efetuada em (M,å), o resultado estará no conjunto M, e se (M,å) também é um grupo. M é fechado para a lei de composição interna de G, ou seja, para qualquer operação efetuada em (M,å), o resultado estará no conjunto M, e se (M,å) também é um conjunto. M é fechado para a lei de composição interna de G, ou seja, para qualquer operação efetuada em (M,å), o resultado estará no subconjunto M, e se (M,å) também é um grupo.