The theorem stating that every Boolean algebra is isomorphic to an algebra of sets: concretely, it is isomorphic to the algebra of clopen (simultaneously closed and open) subsets of a compact, totally disconnected Hausdorff topological space (the Stone space of the algebra).

Principle

Boolean algebraic operations can be represented by set‑theoretic operations on clopen subsets of a canonical compact space; algebraic identities correspond to topological properties and vice versa, establishing a duality between algebra and topology in the Boolean case.

Demonstration

Example: a finite Boolean algebra with n atoms is isomorphic to the power set algebra of an n‑point discrete space; more generally, ultrafilters of a Boolean algebra serve as points of its Stone space and clopen sets correspond to algebra elements.

Misapplication

Confusing Stone representation with representations for non‑Boolean lattices or assuming clopen-set representation works without compactness or total disconnectedness is a misuse. Also mistaking Stone duality for a metric or measure representation conflates distinct theories.

Consequence

Permits translation of algebraic problems into topological questions and back, supplies concrete set models for abstract Boolean algebras, and underlies constructions in logic, topology, and Boolean-valued analysis.

Reversal

A non‑Boolean lattice (for example a nondistributive lattice) cannot in general be represented by clopen subsets of a Stone space; reversing the correspondence shows the necessity of Boolean laws (distributivity, complements) for this representation.

Boundary

Applies specifically to Boolean algebras; hypotheses include Boolean operations and the presence of complements. It does not apply to arbitrary lattices, to algebras without complements, nor does it automatically provide metrization, measure, or other additional structure on the Stone space.

Semantic Tension

There is tension between the purely algebraic abstract description and the concrete topological picture: the same algebraic identity can be read as a topological property of the Stone space, and one must choose the viewpoint best suited to the problem.

Synthesis

Stone's theorem builds a bridge between Boolean algebra and topology: every Boolean algebra can be realized as the algebra of clopen sets of a compact totally disconnected Hausdorff space, enabling algebraic questions to be studied via topological methods.