Definition:Discrete Subgroup

Definition
Let $G$ be a topological group.

Let $H$ be a subgroup of $G$.

Then $H$ is called a discrete subgroup if it is a discrete group for the induced topology.