Connection between separable measure spaces and $\sigma$-finite measure spaces
Separable measure spaces do not have to be $\sigma$-finite. Let $X=\{0\}$, $\Sigma=\{X,\emptyset\}$, and let $\mu(X)=\infty$. Then $\Sigma$ is also a countable dense subset.