Si formula_1 es de Hausdorff, entonces formula_153 es un isomorfismo entre formula_1 y formula_172, por lo que formula_1 puede identificarse con un subconjunto denso de su compleción.