La compleción de Hausdorff formula_139 es única salvo isomorfismos.