User:Dfeuer/Stone's Representation Theorem for Boolean Algebras

Theorem
If $B$ is a Boolean algebra and $S(B)$ is the Stone space of $B$, then

$B$ is isomorphic to the algebra of clopen subsets of $S(B)$, where the isomorphism sends an element $b \in B$ to the set of all ultrafilters that contain $b$.