Si tenemos un espacio métrico (X, d), donde A es un subconjunto compacto no vacío de X, tomamos formula_1, donde formula_2, como esferas de radio formula_3 y centro en el punto formula_4.