Every group G can be turned into a topological group by giving G the [[discrete topology]]. Every topological group is [[completely regular]]. | Every group G can be turned into a topological group by giving G the [[discrete topology]]. Every topological group is [[completely regular]]. |