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