For any point and closed set not containing the point, there are disjoint open sets containing the point and the closed set.
For any point and closed set not containing the point, there are disjoint open sets containing the point and the closed set.