Subgroups are subsets of groups, which are groups themselves under the operation inherited from the group. Of course for this to be possible, the product of two elements of the subgroup must lie within it, and so must the inverse of every element. It turns out that this is in fact enough.