Template:MT book:statements:Proposition1.1.1

A class $𝒜\subseteq 𝒫(X)$ is an algebra if and only if $𝒜$ satisfies :

1. $X\in 𝒜$
2. $\mathrm{\forall }A\in 𝒜\Rightarrow A^c\in 𝒜$
3. $\mathrm{\forall }A,B\in 𝒜\Rightarrow A\cap B\in 𝒜$