Subgroup of a residually finite group
= Subgroup of a residually finite group
Every subgroup of a residually finite group is residually finite, because a finite quotient separating an element of the ambient group also separates it after restriction to the subgroup.