(収束点列全体の集合)⊃(d1でのコーシー点列全体の集合)⊃(d2でのコーシー点列全体の集合)