Subgroup Test

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

$x{y}^{-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.