\begin{definition}[Definition:Hall Subgroup]
Let $G$ be a group.
Let $H$ be a subgroup of $G$.
Then $H$ is a Hall subgroup of $G$ {{iff}} the index and order of $H$ in $G$ are coprime:
:$\index G H \perp \order H$
\end{definition}