Se puede comprobar el que conjunto de todos los conjuntos compactos de un espacio métrico con esta distancia forma un espacio métrico completo.