Entonces "d" es una métrica en X, llamada métrica discreta y (X,d) es espacio métrico; (X, d) se llama espacio discreto; ver Análisis real de Haaser y Sullivan.