Need reference for seemingly trivial statement.

98 Views Asked by At

For any countable family of sets $\mathfrak{F}$ there is totally ordered (by inclusion) family of sets $\mathfrak{T}$, for which $\sigma(\mathfrak{F}) = \sigma(\mathfrak{T})$.

$\sigma(\ldots)$ here means "$\sigma$-algebra, generated by ..."