\begin{definition}[Definition:Complement of Subgroup]
Let $G$ be a group with identity $e$.
Let $H$ and $K$ be subgroups.
Let $HK$ be their subset product and $H \cap K$ their intersection.
\end{definition}