Template:Subgroup symmrel

This article defines a symmetric relation on the collection of subgroups inside the same group.