A non-empty subset $H$ of a group $G$ is a subgroup of $G$ if and only if $xy^{-1}$ belongs to $H$ whenever $x$ and $y$ belong to $H$

...