Stone-Weierstrass Theorem

The Stone-Weierstrass Theorem is an generalization of the Weierstrass_Approximation_Theorem.