\begin{definition}[Definition:Discrete Subgroup]
Let $G$ be a topological group.
Let $H$ be a subgroup of $G$.
Then $H$ is called a '''discrete subgroup''' {{iff}} it is a discrete group for the induced topology.
\end{definition}