A space $ X$ is a $ \sigma$ -space if $ X$ has a $ \sigma$ -discrete network. Let $ X$ be a Lindelof, perfectly normal, $ \sigma$ -space. Must $ X$ be separable? Thanks very much.Read more