Para cada conjunto topológico discreto "S" de puntos en un espacio euclídeo y para casi todo punto "x", existe un punto de "S" que es el más cercano a "x".