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