espace séparable

concept espace topologique contenant un sous-espace dense et au plus dénombrable