Subgroup Test

If $H$ is a nonempty subset of a group $G$, then $H$ is a subgroup of $G$ if and only if

$xy^{-1} \in H$

for all $x,y \in H$.

Why it matters

This is the fastest practical way to prove a subset is a subgroup.