Grupos con la propiedad de separación normal, se indicarán como grupos topológicamente normales.