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