Stone–Weierstrass theorem