A Stone–weierstrass Theorem for Postliminal JB‐Algebras

We prove the strong Stone–Weierstrass conjecture for postliminal JB‐algebras: if B is a JB‐subalgebra of a postliminal JB‐algebra A such that B separates P(A) ∪ {0}, then B = A.