Sea E un espacio métrico y A un subconjunto de E.