So, I've decided to try to learn some Group Theory (don't ask why) and I kept bumping in this thing: usually, whenever people talk about two subgroups (for example [imath]K[/imath] and [imath]H[/imath]) of some subgroup [imath]G[/imath] they immediately say that [imath]K \cap H[/imath] is necessarily a subgorup of both [imath]K[/imath] and [imath]H[/imath]. Could you explain why is this necessarily true, please? Or at least give me a hint?