Un espacio métrico es separable si y sólo si tiene un conjunto denso contable.
Encontrar este nombre poco intuitivo porque no puedo ver cómo la definición anterior refiere a la noción de la separación de un espacio. Hay una conexión a espacios de Hausdorff, que intuitivamente puede ser considerado como separado o separable de una manera: un espacio de Hausdorff separable tiene cardinalidad más 2c. Esto no me ayude mucho, sin embargo.
¿Por qué son dichos espacios denominados separables?