The two definitions alluded to in the title can be found [in the relevant Wikipedia entry](http://en.wikipedia.org/wiki/Separable_sigma_algebra) (one is that the $\sigma$-algebra is countably generated, the other is pretty much the standard usage of the word separable wrt the semi-metric given by the measure). Why are they equivalent?