Grupo munido de operações algébricas _ com uma relação biunívoca com o seu subgrupo _ com topologia discreta e espaços topológicos homeomorfos descritos em termos de grafos Oaj Oluap