Separable_sigma_algebras