Esta función de distancia convierte al conjunto de todos los subconjuntos compactos de "M" en un espacio métrico, digamos "F(M)".