完全可分空间

perfectly separable space