Sea  un espacio métrico y sea X un subconjunto no vacío de E .