El siguiente lema muestra que los grupos topológicos tienen la propiedad de separación T.