Es sei G {\displaystyle {}G} eine Gruppe und H i ⊆ G {\displaystyle {}H_{i}\subseteq G} , i ∈ I {\displaystyle {}i\in I} , eine Familie von Untergruppen. Dann ist auch der Durchschnitt
eine Untergruppe von G {\displaystyle {}G} .
