Template:Normal-monotone sdf

Monotonicity
This subgroup-defining function is normal-monotone, viz applying the subgroup-defining function to a normal subgroup gives a smaller subgroup than applying it to the whole group