Así vamosA≠∅; a dejarq∈A, y elegir cualquierp∈S. Ahora siA está acotado, entoncesdA<+∞, así podemos elegir un realε>ρ(p,q)+dA co...Así vamosA≠∅; a dejarq∈A, y elegir cualquierp∈S. Ahora siA está acotado, entoncesdA<+∞, así podemos elegir un realε>ρ(p,q)+dA como un radio adecuado para un globoGp(ε)⊇A( ver Figura 11 para la motivación). Ahora bien, six∈A, entonces por la definición dedAρ(q,x)≤dA;así por la ley del triángulo,