 Retract subgroup

A subgroup $H\le G$ is a retract when there is a group homomorphism $r:G\to H$ whose restriction to $H$ is the identity. If both groups are finitely generated, the inclusion of $H$ is a quasi-isometric embedding: the inclusion and retraction are both Lipschitz in their word metrics.