Topic
theorem that every continuous function on a compact Hausdorff space can be approximated by certain families of continuous functions