Quasi-isometrically embedded subgroup (source code)

= Quasi-isometrically embedded subgroup

A finitely generated subgroup $H\leq G$ is quasi-isometrically embedded when its inclusion, equipped with word metrics from finite generating sets, is a <quasi-isometric embedding>. This property is independent of those generating sets.