Es decir, existe un espacio uniforme completo de Hausdorff formula_139 y una aplicación uniformemente continua formula_144 con la siguiente propiedad universal: