Stone-Weierstrass theorem