Template:Strictness examples for subgroup property with ambient group property