Remark

This is nothing special for groups.

For any structure, the intersection of a collections of substructures is again a substructure.