The subgroup test is a necessary and sufficient condition for a subset H of a group G to be a subgroup: it is sufficient to check that g−1h ∈ H for all elements g, h ∈ H.
What essential condition must be met for a subset of a group to be a subgroup?
The subgroup test