Is the intersection of subgroups a subgroup? [PROOF]

The conditions for a subset to be a subgroup with the inherited operation * from a group are: non-empty subset of set structure of the group for a, b in the subset, a*(b^-1) is also in the subset #grouptheory #subgroup #setintersection