Theorem 13.2.5 (Dynkin’s $\pi$-$\lambda$ Theorem). Let $X$ be a set and $\mathcal{P}\subset 2^{X}$ be a $\pi$-system, then $\sigma(\mathcal{P}) = \lambda(\mathcal{P})$.
Proof. Let $\ce \subset \lambda(\mathcal{P})$ and
then
Let $E, F \in \cm$ with $E \subset F$, then for any $G \in \ce$,
\[(F \setminus E) \cap G = (F \cap G) \setminus (E \cap G) \in \lambda(\mathcal{P})\]Let $\seq{E_n}\in \cm$ with $E_{n} \subset E_{n+1}$ for all $n \in \natp$, and $F \in \ce$, then
\[\braks{\bigcup_{n \in \natp}E_n}\cap F = \bigcup_{n \in \natp}E_{n} \cap F \in \lambda(\mathcal{P})\]
so $\cm(\ce)$ is a $\lambda$-system.
Since $\mathcal{P}$ is a $\pi$-system, $\cm(\mathcal{P}) \supset \mathcal{P}$, so $\cm(\mathcal{P}) = \lambda(\mathcal{P})$. Thus for any $E \in \lambda(\mathcal{P})$ and $F \in \lambda(\mathcal{P})$, $E \cap F \in \lambda(\mathcal{P})$. Therefore $\cm(\lambda(\mathcal{P})) \supset \mathcal{P}$, $\cm(\lambda(\mathcal{P})) = \lambda(\mathcal{P})$, and $\lambda(\mathcal{P})$ satisfies (P2). By Lemma 13.2.4, $\lambda(\mathcal{P})$ is a $\sigma$-algebra.$\square$