Template:Minimal subgroup property

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