Sean M un espacio métrico y A un subconjunto de M.