wikipedia:en:Distributive lattice wikipedia:en:Stone duality wikipedia:en:Stone's representation theorem for Boolean algebras