Template:Maximal subgroup property

This is a subgroup property obtained by applying the maximal operator to the trim subgroup property: