Lemma 1.9 (Ruzsa’s triangle inequality). Assuming that:

  • A,B,C⊆G finite

Then
d(A,C)≤d(A,B)+d(B,C).