Um subconjunto que não possui operações definidas

Um subgrupo que é também uma variedade diferenciável, com a estrutura de grupo preservada

Um grupo que não é parte de um grupo maior

Um grupo que não possui propriedades topológicas