Product of two subgroups

Summary

The product of two subgroups $H$ and $K$ of a group is the set $HK$ of all products $hk$ with $h \in H$ and $k \in K$. It is a subgroup exactly when $HK = KH$.