Stone–Weierstrass theorem — theorem that every continuous function on a compact Hausdorff space can be approximated by certain families of continuous functions