245B notes 4: The Stone and Loomis-Sikorski representation theorems (optional)

A (concrete) Boolean algebra is a pair $latex (X, {\mathcal B})$, where X is a set, and $latex {\mathcal B}$ is a collection of subsets of X which contain the empty set $latex \emptyset$, and which…