Template:Left residual-preserved subgroup metaproperty