Subgroup criterion/Exercise

Prove the following subgroup criterion. A nonempty subset ${}H\subseteq G$ of a group ${}G$ is a subgroup if and only if the following holds:

${\text{ for all }}g,h\in H{\text{ is }}gh^{-1}\in H.$

Create a solution