Template:Ascending series-finite operator

In terms of ascending series
This group property is obtained by applying the ascending series-finite operator to the subgroup-defining function: