Template:Monotone sdf

Monotonicity
This subgroup-defining function is monotone, viz the image of any subgroup under this function is contained in the image of the whole group