[Stone's representation theorem][1]. [1]: https://en.wikipedia.org/wiki/Stone%27s_representation_theorem_for_Boolean_algebras