Topological group Discrete subgroup A discrete subgroup π of a topological group πΊ is a subgroup π β€πΊ baring the discrete topology as a subspace. group tidy | en | SemBr