Định lý Stone–Weierstrass