Template:Strictness examples for subgroup property