En mathématiques, et plus précisément en topologie, un espace séparable est un espace topologique contenant un sous-ensemble dense et au plus dénombrable, c`est-à -dire contenant un ensemble fini ou dénombrable de points dont l`adhérence est égale à l`espace topologique tout entier.