\begin{definition}[Definition:Index of Subgroup]
Let $G$ be a group.
Let $H$ be a subgroup of $G$.
The '''index of $H$ (in $G$)''', denoted $\index G H$, is the cardinality of the left (or right) coset space $G / H$.
\end{definition}