Redirecting to
Stone's representation theorem for Boolean algebras