Template:Right residual-preserved subgroup metaproperty