Topological group

Discrete subgroup

A discrete subgroup of a topological group is a subgroup baring the discrete topology as a subspace. #m/def/group

#state/tidy | #lang/en | #SemBr