Si un espace est séparable alors il vérifie la condition de chaîne dénombrable.
Cela signifie que pour tout point x de l'espace, il existe une suite de points x_n tels que x_n -> x. Cette propriété est essentielle en analyse topologique pour étudier les propriétés des espaces métriques.