Template:Subgroup-description setup

From Groupprops

Setup

A group equipped with an encoding . An abstract subgroup of .