Theorem

key properties of $\sigma$-fields

the intersection of $\sigma$-fields is a $\sigma$-field, and for any class $\mathcal{C}$ of subsets of $\Omega$, there is a unique minimal $\sigma$-field containing $\mathcal{C}$