 Dynkin lemma

Every Dynkin system containing a pi-system $\mathcal{P}$ also contains the sigma-algebra $\sigma (\mathcal{P})$. Equivalently, the Dynkin system generated by a pi-system equals the sigma-algebra it generates.