Lemma 13.2.4. Let $X$ be a set and $\alg \subset 2^{X}$, then the following are equivalent:
$\alg$ is a $\sigma$-algebra.
$\alg$ is a $\pi$-system and a $\lambda$-system.
Proof. $(2) \Rightarrow (1)$: Let $A, B \in \alg$, then $A \cup B = (A^{c} \cap B^{c})^{c} \in \alg$. Thus $\alg$ is an algebra. By Lemma 13.1.5, $\alg$ is a $\sigma$-algebra.$\square$