For any point and closed set not containing the point, there is a continuous function that separates the point from the closed set.
For any point and closed set not containing the point, there is a continuous function that separates the point from the closed set.