Es sei ${\displaystyle {}G}$ eine Gruppe und ${\displaystyle {}V}$ die Menge aller Untergruppen von ${\displaystyle {}G}$. Dann ist ${\displaystyle {}V}$ mit der Inklusion als Ordnung ein Verband. Das Infimum ist durch den Durchschnitt von Untergruppen und das Supremum ist durch die von zwei Untergruppen erzeugte Untergruppe gegeben. Man spricht vom Untergruppenverband.