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>.