L'intersezione di due qualsiasi sottogruppi $H$ e $K$ di un gruppo $G$ è a sua volta un sottogruppo di $G$.
$$ H, K \leq G \implies H \cap K \leq G $$