Template:Formal expression for subgroup property