Question about number of elements in $HK$ if $H$ and $K$ are finite subgroups of some group $G$
A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?