Quotient Group Criterion

Let $H \le G$. The multiplication rule

$(gH)(kH) = gkH$

defines a group structure on the set of cosets if and only if $H$ is normal in $G$.

Why it matters

This is the exact condition that makes quotient groups possible.