Template:Large operator on

This subgroup property is obtained by applying the large operator to the subgroup property: