Theorem

Let $X$ be a set and $\mathcal{F}\subseteq2^{X}$. Then there exists a Smallest σ-algebra containing $\mathcal{F}$.