It can be shown that the interleaving distance satisfies the triangle inequality. Namely, given three persistence modules \mathbb U, \mathbb V, and \mathbb W, the inequality d_I (\mathbb U, \mathbb W) \leq d_I (\mathbb U, \mathbb V) + d_I (\mathbb V, \mathbb W) is satisfied.
